reichel-2023-proof:
  type: article
  title: 'Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset'
  author:
  - Reichel, Tom
  - Henderson, R. Wesley
  - Touchet, Andrew
  - Gardner, Andrew
  - Ringer, Talia
  date: 2023
  page-range: 26:1-26:20
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.26
  serial-number:
    doi: 10.4230/LIPICS.ITP.2023.26
  parent:
    type: proceedings
    title: 14th International Conference on Interactive Theorem Proving (ITP 2023)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 268