Artifact for Hint-Based SMT Proof Reconstruction

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Joshua Clune, Haniel Barbosa, Jeremy Avigad
DOI: 10.5281/zenodo.18190142
Cited by: 0

Abstract

This artifact can be used to replicate the results in Hint-Based SMT Proof Reconstruction. Unpack the zip file, and then follow the instructions in README.md to replicate the results in the paper.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 January 2026