“Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL” by Hanna Lachnitt, Mathias Fleury, Haniel Barbosa, Andrew Reynolds, Jibiana Jakpor, Bruno Andreotti, Clark Barrett, Hans-Joerg Schurr, and Cesare Tinelli. In Proceedings of the 16^th International Conference on Interactive Theorem Proving (ITP '25), (Yannick Forster and Chantal Keller, eds.), Sep. 2025, pp. 26:1-26:22. Reykjavik, Iceland.
BibTeX entry:
@inproceedings{LFB+25,
author = {Hanna Lachnitt and Mathias Fleury and Haniel Barbosa and
Andrew Reynolds and Jibiana Jakpor and Bruno Andreotti and Clark
Barrett and Hans-Joerg Schurr and Cesare Tinelli},
editor = {Yannick Forster and Chantal Keller},
title = {Improving the {SMT} Proof Reconstruction Pipeline in
{I}sabelle/{HOL}},
booktitle = {Proceedings of the {\it 16^{th}} International Conference
on Interactive Theorem Proving (ITP '25)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {352},
pages = {26:1--26:22},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
month = sep,
year = {2025},
doi = {10.4230/LIPIcs.ITP.2025.26},
note = {Reykjavik, Iceland},
url =
{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.26}
}
(This webpage was created with bibtex2web.)