Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wan, Kaidi, Liu, Minghao, Lai, Yong
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Boolean Satisfiability via Imitation Learning
von: Zhang, Zewei, et al.
Veröffentlicht: (2025)

Feature-Weighted Maximum Representative Subsampling
von: Hauptmann, Tony, et al.
Veröffentlicht: (2026)

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

A Learning-Based Ansatz Satisfying Boundary Conditions in Variational Problems
von: Florencio, Rafael, et al.
Veröffentlicht: (2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
von: Liu, Minghao, et al.
Veröffentlicht: (2025)

Learning-Augmented Algorithms for Boolean Satisfiability
von: Attias, Idan, et al.
Veröffentlicht: (2025)

Adversarially Trained Weighted Actor-Critic for Safe Offline Reinforcement Learning
von: Wei, Honghao, et al.
Veröffentlicht: (2024)

Maximum Total Correlation Reinforcement Learning
von: You, Bang, et al.
Veröffentlicht: (2025)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
von: Hůla, Jan, et al.
Veröffentlicht: (2024)

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

Learning Better Representations From Less Data For Propositional Satisfiability
von: Ghanem, Mohamed, et al.
Veröffentlicht: (2024)

On the Expressive Power of GNNs for Boolean Satisfiability
von: Peltonen, Saku, et al.
Veröffentlicht: (2026)

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

Survey of different Large Language Model Architectures: Trends, Benchmarks, and Challenges
von: Shao, Minghao, et al.
Veröffentlicht: (2024)

The AI Definition and a Program Which Satisfies this Definition
von: Dobrev, Dimiter
Veröffentlicht: (2022)

MERIT: Maximum-normalized Element-wise Ratio for Language Model Large-batch Training
von: Luo, Yang, et al.
Veröffentlicht: (2025)

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

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

Learning to Solve Constrained Bilevel Control Co-Design Problems
von: Kotary, James, et al.
Veröffentlicht: (2025)

Simultaneous Weight and Architecture Optimization for Neural Networks
von: Huang, Zitong, et al.
Veröffentlicht: (2024)

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

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

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
von: Lu, Chia-Hsuan, et al.
Veröffentlicht: (2025)

Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
von: Brix, Christopher, et al.
Veröffentlicht: (2026)

Maximum Likelihood Reinforcement Learning
von: Tajwar, Fahim, et al.
Veröffentlicht: (2026)

Class-Imbalanced Complementary-Label Learning via Weighted Loss
von: Wei, Meng, et al.
Veröffentlicht: (2022)

Online Drift Detection with Maximum Concept Discrepancy
von: Wan, Ke, et al.
Veröffentlicht: (2024)

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
von: Jackermeier, Mathias, et al.
Veröffentlicht: (2024)

Solving Continual Offline RL through Selective Weights Activation on Aligned Spaces
von: Hu, Jifeng, et al.
Veröffentlicht: (2024)

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

Learning to Weight Parameters for Training Data Attribution
von: Li, Shuangqi, et al.
Veröffentlicht: (2025)

Learning to Solve PDEs on Neural Shape Representations
von: Welschinger, Lilian, et al.
Veröffentlicht: (2025)

Predicting Fatigue Crack Growth via Path Slicing and Re-Weighting
von: Zhao, Yingjie, et al.
Veröffentlicht: (2023)

Text2Weight: Bridging Natural Language and Neural Network Weight Spaces
von: Tian, Bowen, et al.
Veröffentlicht: (2025)

Communication Optimization for Distributed Training: Architecture, Advances, and Opportunities
von: Wei, Yunze, et al.
Veröffentlicht: (2024)

TranCIT: Transient Causal Interaction Toolbox
von: Nouri, Salar, et al.
Veröffentlicht: (2025)

On Sequential Maximum a Posteriori Inference for Continual Learning
von: Zhu, Menghao Waiyan William, et al.
Veröffentlicht: (2024)

Rollout-Training Co-Design for Efficient LLM-Based Multi-Agent Reinforcement Learning
von: Jiang, Zhida, et al.
Veröffentlicht: (2026)

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

Compass: SLO-aware Query Planner for Compound AI Serving at Scale
von: Liu, Banruo, et al.
Veröffentlicht: (2025)