PRoofster: Automated Formal Verification. - Arpan Agrawal; Emily First; Zhanna Kaufman; Tom Reichel; Shizhuo Zhang; Timothy Zhou; Alex Sanchez-Stern; Talia Ringer; Yuriy Brun (ICSE Companion, 2023)

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. - Tom Reichel; R. Wesley Henderson; Andrew Touchet; Andrew Gardner; Talia Ringer (ITP, 2023)