@inproceedings{reichel-2023-proof,
  doi = {10.4230/LIPICS.ITP.2023.26},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.26},
  author = {Reichel, Tom and Henderson, R. Wesley and Touchet, Andrew and Gardner, Andrew and Ringer, Talia},
  keywords = {proof repair, datasets, benchmarks, machine learning, formal proof, Computing methodologies → Machine learning, Software and its engineering → Software maintenance tools, Security and privacy → Logic and verification},
  language = {en},
  title = {Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset},
  volume = {268},
  pages = {26:1-26:20},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2023},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {14th International Conference on Interactive Theorem Proving (ITP 2023)}
}