Formalization of Rectification Learning for Economic Design Updates
- Victor Kravets
- Jie-hong R. Jiang
- 2026
- ASP-DAC 2026
Publications
2 results for Jie-hong R. Jiang
Rectification Learning From Hypotheses Refutation and Relevance Classification
- Victor Kravets
- Jie-hong R. Jiang
- et al.
- 2023
- DAC 2023