Project
EF-LI-Opt-6
Agentic Dual Verification and Dual Reduction Discovery for Mathematical Optimization
Project Heads
Sebastian Pokutta
Project Members
N.N.
Project Duration
01.10.2026 – 30.09.2028
Located at
ZIB
Description
The project develops an agentic framework for automatically generating and verifying dual reductions and valid inequalities in structured optimization problems, aiming to replace the largely manual, intuition-driven discovery process with adaptive, certified methods.
External Website
Related Publications
Related Pictures