Saved in:
| Main Authors: | Wan, Kaidi, Liu, Minghao, Lai, Yong |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.19544 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025)
by: Zhang, Zewei, et al.
Published: (2025)
Feature-Weighted Maximum Representative Subsampling
by: Hauptmann, Tony, et al.
Published: (2026)
by: Hauptmann, Tony, et al.
Published: (2026)
Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)
by: Liu, Minghao, et al.
Published: (2025)
SWAT-NN: Simultaneous Weights and Architecture Training for Neural Networks in a Latent Space
by: Huang, Zitong, et al.
Published: (2025)
by: Huang, Zitong, et al.
Published: (2025)
Learning-Augmented Algorithms for Boolean Satisfiability
by: Attias, Idan, et al.
Published: (2025)
by: Attias, Idan, et al.
Published: (2025)
A Learning-Based Ansatz Satisfying Boundary Conditions in Variational Problems
by: Florencio, Rafael, et al.
Published: (2025)
by: Florencio, Rafael, et al.
Published: (2025)
Privacy-Preserving Data Fusion for Traffic State Estimation: A Vertical Federated Learning Approach
by: Wang, Qiqing, et al.
Published: (2024)
by: Wang, Qiqing, et al.
Published: (2024)
Adversarially Trained Weighted Actor-Critic for Safe Offline Reinforcement Learning
by: Wei, Honghao, et al.
Published: (2024)
by: Wei, Honghao, et al.
Published: (2024)
Learning Better Representations From Less Data For Propositional Satisfiability
by: Ghanem, Mohamed, et al.
Published: (2024)
by: Ghanem, Mohamed, et al.
Published: (2024)
On the Expressive Power of GNNs for Boolean Satisfiability
by: Peltonen, Saku, et al.
Published: (2026)
by: Peltonen, Saku, et al.
Published: (2026)
The AI Definition and a Program Which Satisfies this Definition
by: Dobrev, Dimiter
Published: (2022)
by: Dobrev, Dimiter
Published: (2022)
Survey of different Large Language Model Architectures: Trends, Benchmarks, and Challenges
by: Shao, Minghao, et al.
Published: (2024)
by: Shao, Minghao, et al.
Published: (2024)
Maximum Total Correlation Reinforcement Learning
by: You, Bang, et al.
Published: (2025)
by: You, Bang, et al.
Published: (2025)
MERIT: Maximum-normalized Element-wise Ratio for Language Model Large-batch Training
by: Luo, Yang, et al.
Published: (2025)
by: Luo, Yang, et al.
Published: (2025)
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
by: Hůla, Jan, et al.
Published: (2024)
by: Hůla, Jan, et al.
Published: (2024)
Explore and Establish Synergistic Effects Between Weight Pruning and Coreset Selection in Neural Network Training
by: Wan, Weilin, et al.
Published: (2025)
by: Wan, Weilin, et al.
Published: (2025)
DeePoly: A High-Order Accuracy Scientific Machine Learning Framework for Function Approximation and Solving PDEs
by: Liu, Li, et al.
Published: (2025)
by: Liu, Li, et al.
Published: (2025)
Learning Dynamic Representations via An Optimally-Weighted Maximum Mean Discrepancy Optimization Framework for Continual Learning
by: Huang, KaiHui, et al.
Published: (2025)
by: Huang, KaiHui, et al.
Published: (2025)
Learning to Solve Constrained Bilevel Control Co-Design Problems
by: Kotary, James, et al.
Published: (2025)
by: Kotary, James, et al.
Published: (2025)
Quantum Architecture Search for Solving Quantum Machine Learning Tasks
by: Kölle, Michael, et al.
Published: (2025)
by: Kölle, Michael, et al.
Published: (2025)
Compass: SLO-aware Query Planner for Compound AI Serving at Scale
by: Liu, Banruo, et al.
Published: (2025)
by: Liu, Banruo, et al.
Published: (2025)
Simultaneous Weight and Architecture Optimization for Neural Networks
by: Huang, Zitong, et al.
Published: (2024)
by: Huang, Zitong, et al.
Published: (2024)
Online Drift Detection with Maximum Concept Discrepancy
by: Wan, Ke, et al.
Published: (2024)
by: Wan, Ke, et al.
Published: (2024)
Compositional Generalization from Learned Skills via CoT Training: A Theoretical and Structural Analysis for Reasoning
by: Yao, Xinhao, et al.
Published: (2025)
by: Yao, Xinhao, et al.
Published: (2025)
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
by: Jackermeier, Mathias, et al.
Published: (2024)
by: Jackermeier, Mathias, et al.
Published: (2024)
TranCIT: Transient Causal Interaction Toolbox
by: Nouri, Salar, et al.
Published: (2025)
by: Nouri, Salar, et al.
Published: (2025)
Rethinking Clustered Federated Learning in NOMA Enhanced Wireless Networks
by: Lin, Yushen, et al.
Published: (2024)
by: Lin, Yushen, et al.
Published: (2024)
In-context Learning for Mixture of Linear Regressions: Existence, Generalization and Training Dynamics
by: Jin, Yanhao, et al.
Published: (2024)
by: Jin, Yanhao, et al.
Published: (2024)
Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
by: Lu, Chia-Hsuan, et al.
Published: (2025)
by: Lu, Chia-Hsuan, et al.
Published: (2025)
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
by: Brix, Christopher, et al.
Published: (2026)
by: Brix, Christopher, et al.
Published: (2026)
ResKoopNet: Learning Koopman Representations for Complex Dynamics with Spectral Residuals
by: Xu, Yuanchao, et al.
Published: (2025)
by: Xu, Yuanchao, et al.
Published: (2025)
Communication Optimization for Distributed Training: Architecture, Advances, and Opportunities
by: Wei, Yunze, et al.
Published: (2024)
by: Wei, Yunze, et al.
Published: (2024)
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
by: Bamba, Udbhav, et al.
Published: (2025)
by: Bamba, Udbhav, et al.
Published: (2025)
Class-Imbalanced Complementary-Label Learning via Weighted Loss
by: Wei, Meng, et al.
Published: (2022)
by: Wei, Meng, et al.
Published: (2022)
Learning to Weight Parameters for Training Data Attribution
by: Li, Shuangqi, et al.
Published: (2025)
by: Li, Shuangqi, et al.
Published: (2025)
Maximum Likelihood Reinforcement Learning
by: Tajwar, Fahim, et al.
Published: (2026)
by: Tajwar, Fahim, et al.
Published: (2026)
Solving Continual Offline RL through Selective Weights Activation on Aligned Spaces
by: Hu, Jifeng, et al.
Published: (2024)
by: Hu, Jifeng, et al.
Published: (2024)
Text2Weight: Bridging Natural Language and Neural Network Weight Spaces
by: Tian, Bowen, et al.
Published: (2025)
by: Tian, Bowen, et al.
Published: (2025)
Self-Training with Dynamic Weighting for Robust Gradual Domain Adaptation
by: Wang, Zixi, et al.
Published: (2025)
by: Wang, Zixi, et al.
Published: (2025)
LRQ: Optimizing Post-Training Quantization for Large Language Models by Learning Low-Rank Weight-Scaling Matrices
by: Lee, Jung Hyun, et al.
Published: (2024)
by: Lee, Jung Hyun, et al.
Published: (2024)
Similar Items
-
Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025) -
Feature-Weighted Maximum Representative Subsampling
by: Hauptmann, Tony, et al.
Published: (2026) -
Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025) -
SWAT-NN: Simultaneous Weights and Architecture Training for Neural Networks in a Latent Space
by: Huang, Zitong, et al.
Published: (2025) -
Learning-Augmented Algorithms for Boolean Satisfiability
by: Attias, Idan, et al.
Published: (2025)