y0news
AnalyticsDigestsSourcesTopicsRSSAICrypto

#solver-verification News & Analysis

2 articles tagged with #solver-verification. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles
AINeutralarXiv – CS AI · Jun 26/10
🧠

Position Paper: Post-Solve Robustness in Decision Engines: Feasible Regions and Smoothness Under Perturbations

Researchers propose a post-solve robustness framework for Mixed-Integer Linear Programming decision engines, addressing the gap between theoretical optimal solutions and real-world deployment where parameter perturbations can invalidate feasibility. The work calls for standardized auditing of solved problems to measure how solutions perform under small cost, demand, and resource variations.

AINeutralarXiv – CS AI · May 276/10
🧠

ORLoopBench: Solver-in-the-Loop Benchmarks for Self-Correction and Behavioral Rationality in Operations Research

Researchers introduce ORLoopBench, a benchmark suite that evaluates large language models on Operations Research tasks through an iterative solver-in-the-loop process rather than one-shot code generation. The framework enables models to debug infeasible mathematical models by inspecting constraint conflicts and repairing formulations, with an 8B model achieving 95.3% success on LP repair tasks—outperforming frontier APIs at 92.4%.