mlsanityData to 14 Oct 2026

Cardinal Optimizer (COPT) User Guide

arXiv 2208.14314 ↗First posted 30 Aug 2022math.OC cs.MScited by 16

Not on the map. Why?

Abstract (arXiv)

Cardinal Optimizer is a high-performance mathematical programming solver for efficiently solving largescale optimization problem. This documentation provides basic introduction to the Cardinal Optimizer.

Key facts. Cited by 16 papers in the map (data through 14 Oct 2026). First posted on arXiv 30 Aug 2022.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2023: 1; 2024: 2; 2025: 7; 2026: 6.

16 papers.

Sort:

By area:

  1. 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modelingcited by 45
  2. 2025OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLMcited by 15
  3. 2024Leveraging Large Language Models for Solving Rare MIP Challengescited by 10
  4. 2025Decision Information Meets Large Language Models: The Future of Explainable Operations Researchcited by 9
  5. 2025SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modelingcited by 8
  6. 2024MPAX: Mathematical Programming in JAXcited by 7
  7. 2026OPT-Engine: Benchmarking the Limits of LLMs in Optimization Modeling via Complexity Scalingcited by 5
  8. 2025Disciplined Biconvex Programmingcited by 2
  9. 2026MIRROR: A Multi-Agent Framework with Iterative Adaptive Revision and Hierarchical Retrieval for Optimization Modeling in Operations Researchcited by 2
  10. 2026Execution-Verified Reinforcement Learning for Optimization Modelingcited by 2
  11. 2023Data-driven Mixed Integer Optimization through Probabilistic Multi-variable Branchingcited by 1
  12. 2026MILP-Evo: Closed-Loop Fully Automatic Design of MILP Solverscited by 1
4 more
  1. 2025Enhancing Delta Compression in LLMs via SVD-based Quantization Error Minimizationcited by 0
  2. 2025Step-Opt: Boosting Optimization Modeling in LLMs through Iterative Data Synthesis and Structured Validationcited by 0
  3. 2026Disciplined Bilevel Programmingcited by 0
  4. 2026Beyond Verified Answers: Solver-Informed Self-Distillation for Bootstrapping Operations Research Language Modelscited by 0