Learning to Optimize through Solver-Grounded Self-Play
cs.LG
Submitted: 2026-09-28
Updated: 2026-09-28
Sources
- Program Synthesis with Large Language Models
- Evaluating Large Language Models Trained on Code
- OptiMind: Teaching LLMs to Think Like Optimization Experts
- Training Verifiers to Solve Math Word Problems
- The Vendi Score: A Diversity Evaluation Metric for Machine Learning
- Execution-Verified Reinforcement Learning for Optimization Modeling
- DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
- LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages
- Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
- Learning to Solve and Verify: A Self-Play Framework for Code and Test Generation
- From Large Language Models and Optimization to Decision Optimization CoPilot: A Research Manifesto
- Propose, Solve, Verify: Self-Play Through Formal Verification
- Qwen3 Technical Report
- EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
- GLM-5: from Vibe Coding to Agentic Engineering
- OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM
Related papers
- Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
- AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
- Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
- Convergence issues in Relational Concept Analysis based on AOC-posets
- Beliefs Beyond Posteriors: The Predictive Cost of ELBO Binding
- Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks