Interactive Solution Viewers for Automated Theorem Proving

Daniel Li; Esteban Morales; Geoff Sutcliffe; Jack McKeown

doi:10.32473/flairs.39.1.141690

Interactive Solution Viewers for Automated Theorem Proving

Authors

Daniel Li University of Miami https://orcid.org/0009-0009-8500-4660
Esteban Morales University of Miami https://orcid.org/0009-0003-2850-3902
Geoff Sutcliffe University of Miami https://orcid.org/0000-0001-9120-3927
Jack McKeown Technical University of Vienna https://orcid.org/0000-0003-3310-6787

DOI:

https://doi.org/10.32473/flairs.39.1.141690

Abstract

This paper describes interactive viewers for TPTP format proofs and models generated by Automated Theorem Proving (ATP) systems.

Downloads

Published

06-05-2026

How to Cite

Li, D., Morales, E., Sutcliffe, G., & McKeown, J. (2026). Interactive Solution Viewers for Automated Theorem Proving. The International FLAIRS Conference Proceedings, 39(1). https://doi.org/10.32473/flairs.39.1.141690

Download Citation

Issue

Vol. 39 No. 1 (2026): Proceedings of FLAIRS-39

Section

Posters

License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

Interactive Solution Viewers for Automated Theorem Proving

Authors

DOI:

Abstract

Downloads

Published

How to Cite

Issue

Section

License

Developed By

Make a Submission

Language