Papers

• MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical Reasoning (2025)
  Ke Wang et al.
  3.81
• SEVerA: Verified Synthesis of Self-Evolving Agents (2026)
  Debangshu Banerjee et al.
  1.78
• Boolean Satisfiability via Imitation Learning (2025)
  Zewei Zhang et al.
  1.28
• Solving Mixed Integer Programs Using Neural Networks (2020)
  Vinod Nair et al.
  —
• Learning Primal Heuristics for Mixed Integer Programs (2021)
  Yunzhuang Shen et al.
  —
• Structure-Unified M-Tree Coding Solver for MathWord Problem (2022)
  Bin Wang et al.
  —
• Toward TransfORmers: Revolutionizing the Solution of Mixed Integer Programs with Transformers (2024)
  Joshua F. Cooper et al.
  —
• MA-RLHF: Reinforcement Learning from Human Feedback with Macro Actions (2024)
  Yekun Chai et al.
  —
• AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling (2024)
  Zihan Liu et al.
  —