Copertina

Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wan, Kaidi, Liu, Minghao, Lai, Yong
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Boolean Satisfiability via Imitation Learning
di: Zhang, Zewei, et al.
Pubblicazione: (2025)

Feature-Weighted Maximum Representative Subsampling
di: Hauptmann, Tony, et al.
Pubblicazione: (2026)

SWAT-NN: Simultaneous Weights and Architecture Training for Neural Networks in a Latent Space
di: Huang, Zitong, et al.
Pubblicazione: (2025)

A Learning-Based Ansatz Satisfying Boundary Conditions in Variational Problems
di: Florencio, Rafael, et al.
Pubblicazione: (2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
di: Liu, Minghao, et al.
Pubblicazione: (2025)

Learning-Augmented Algorithms for Boolean Satisfiability
di: Attias, Idan, et al.
Pubblicazione: (2025)

Adversarially Trained Weighted Actor-Critic for Safe Offline Reinforcement Learning
di: Wei, Honghao, et al.
Pubblicazione: (2024)

Maximum Total Correlation Reinforcement Learning
di: You, Bang, et al.
Pubblicazione: (2025)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
di: Hůla, Jan, et al.
Pubblicazione: (2024)

Explore and Establish Synergistic Effects Between Weight Pruning and Coreset Selection in Neural Network Training
di: Wan, Weilin, et al.
Pubblicazione: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
di: Ghanem, Mohamed, et al.
Pubblicazione: (2024)

On the Expressive Power of GNNs for Boolean Satisfiability
di: Peltonen, Saku, et al.
Pubblicazione: (2026)

Learning Dynamic Representations via An Optimally-Weighted Maximum Mean Discrepancy Optimization Framework for Continual Learning
di: Huang, KaiHui, et al.
Pubblicazione: (2025)

Survey of different Large Language Model Architectures: Trends, Benchmarks, and Challenges
di: Shao, Minghao, et al.
Pubblicazione: (2024)

The AI Definition and a Program Which Satisfies this Definition
di: Dobrev, Dimiter
Pubblicazione: (2022)

MERIT: Maximum-normalized Element-wise Ratio for Language Model Large-batch Training
di: Luo, Yang, et al.
Pubblicazione: (2025)

DeePoly: A High-Order Accuracy Scientific Machine Learning Framework for Function Approximation and Solving PDEs
di: Liu, Li, et al.
Pubblicazione: (2025)

Privacy-Preserving Data Fusion for Traffic State Estimation: A Vertical Federated Learning Approach
di: Wang, Qiqing, et al.
Pubblicazione: (2024)

Learning to Solve Constrained Bilevel Control Co-Design Problems
di: Kotary, James, et al.
Pubblicazione: (2025)

Simultaneous Weight and Architecture Optimization for Neural Networks
di: Huang, Zitong, et al.
Pubblicazione: (2024)

Quantum Architecture Search for Solving Quantum Machine Learning Tasks
di: Kölle, Michael, et al.
Pubblicazione: (2025)

In-context Learning for Mixture of Linear Regressions: Existence, Generalization and Training Dynamics
di: Jin, Yanhao, et al.
Pubblicazione: (2024)

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
di: Lu, Chia-Hsuan, et al.
Pubblicazione: (2025)

Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
di: Brix, Christopher, et al.
Pubblicazione: (2026)

Maximum Likelihood Reinforcement Learning
di: Tajwar, Fahim, et al.
Pubblicazione: (2026)

Class-Imbalanced Complementary-Label Learning via Weighted Loss
di: Wei, Meng, et al.
Pubblicazione: (2022)

Online Drift Detection with Maximum Concept Discrepancy
di: Wan, Ke, et al.
Pubblicazione: (2024)

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
di: Jackermeier, Mathias, et al.
Pubblicazione: (2024)

Solving Continual Offline RL through Selective Weights Activation on Aligned Spaces
di: Hu, Jifeng, et al.
Pubblicazione: (2024)

Compositional Generalization from Learned Skills via CoT Training: A Theoretical and Structural Analysis for Reasoning
di: Yao, Xinhao, et al.
Pubblicazione: (2025)

Learning to Weight Parameters for Training Data Attribution
di: Li, Shuangqi, et al.
Pubblicazione: (2025)

Predicting Fatigue Crack Growth via Path Slicing and Re-Weighting
di: Zhao, Yingjie, et al.
Pubblicazione: (2023)

Learning to Solve PDEs on Neural Shape Representations
di: Welschinger, Lilian, et al.
Pubblicazione: (2025)

Text2Weight: Bridging Natural Language and Neural Network Weight Spaces
di: Tian, Bowen, et al.
Pubblicazione: (2025)

Communication Optimization for Distributed Training: Architecture, Advances, and Opportunities
di: Wei, Yunze, et al.
Pubblicazione: (2024)

TranCIT: Transient Causal Interaction Toolbox
di: Nouri, Salar, et al.
Pubblicazione: (2025)

On Sequential Maximum a Posteriori Inference for Continual Learning
di: Zhu, Menghao Waiyan William, et al.
Pubblicazione: (2024)

Compass: SLO-aware Query Planner for Compound AI Serving at Scale
di: Liu, Banruo, et al.
Pubblicazione: (2025)

Rollout-Training Co-Design for Efficient LLM-Based Multi-Agent Reinforcement Learning
di: Jiang, Zhida, et al.
Pubblicazione: (2026)

LRQ: Optimizing Post-Training Quantization for Large Language Models by Learning Low-Rank Weight-Scaling Matrices
di: Lee, Jung Hyun, et al.
Pubblicazione: (2024)