Samplinglib · research resources
AI-Driven Optimization Research
A complete source-listed bibliography; choose a title, then inspect the primary source before using its mathematical claims.
9 references. Dates are supplied by the Forum, not independently verified publication dates.
- Peppy: An AI-Assisted Workflow for Tight Convergence Analysis of Optimization Algorithms external reference
- Auditing Optimization Papers with Agentic AI external reference
- A Domain-Specific Harness for End-to-End Automation of Optimization Research external reference
- Advancing Mathematics Research with AI-Driven Formal Proof Search external reference
- ImprovEvolve: Basin-Hopping Meets LLM-Guided Evolutionary Search external reference
- AI and the future of optimization modeling external reference
- OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scale external reference
- OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models external reference
- Guiding RL Agents with Classical Algorithms and Heuristics to Solve Combinatorial Optimization Problems on Graphs external reference