Formalization of Rectification Learning for Economic Design UpdatesVictor KravetsJie-hong R. Jiang2026ASP-DAC 2026