@inproceedings{lachnitt25,
  author       = {Hanna Lachnitt and
                  Mathias Fleury and
                  Haniel Barbosa and
                  Jibiana Jakpor and
                  Bruno Andreotti and
                  Andrew Reynolds and
                  Hans{-}J{\"{o}}rg Schurr and
                  Clark W. Barrett and
                  Cesare Tinelli},
  editor       = {Yannick Forster and
                  Chantal Keller},
  title        = {Improving the {SMT} Proof Reconstruction Pipeline in Isabelle/HOL},
  booktitle    = {16th International Conference on Interactive Theorem Proving, {ITP}
                  2025, September 28 to October 1, 2025, Reykjavik, Iceland},
  series       = {LIPIcs},
  volume       = {352},
  pages        = {26:1--26:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2025},
  doi          = {10.4230/LIPICS.ITP.2025.26}
}