Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.

Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer

Browse the full ITP paper archive.