Poster · Atlanta

Curriculum proof repair with learned counterexamples

Name: Curriculum proof repair with learned counterexamples
Start: 2026-12-10T16:30:00-05:00
End: 2026-12-10T19:30:00-05:00
Location: Hall C1, Georgia World Congress Center

When: Thu 10 Dec 2026, 16:30–19:30 EST
Where: Hall C1, Georgia World Congress Center
Session: Atlanta Poster Session 4
Authors: Yuechun Sun, Jun Yang, Kexin Pei
Organisations: University of Science and Technology of China, University of Chicago
QRS classification: Language models

Open in schedule Official page