Gonzalo PolaviejaRT @TaliaRinger
New preprint just dropped: Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner*, and Talia Ringer*. Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. https://dependenttyp.es/pdf/repairdata.pdf
New preprint just dropped: Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner*, and Talia Ringer*. Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. https://dependenttyp.es/pdf/repairdata.pdf