Formalization of Rectification Learning for Economic Design UpdatesVictor KravetsJie-hong R. Jiang2026ASP-DAC 2026
Rectification Learning From Hypotheses Refutation and Relevance ClassificationVictor KravetsJie-hong R. Jianget al.2023DAC 2023