Tom Reichel

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Mathematical Proofs

Benchmark Datasets

Coloured Petri Nets

Top Venues

Publications

Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
PRoofster: Automated Formal Verification. ICSE Companion (2023)
Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. ITP (2023)