Extracting Proofs from Tabled Proof Search
No abstract available.
DOI 10.1007/978-3-319-03545-1_13
Related papers
- Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4 TACAS 2025
- Verifying concurrent search structure templates PLDI 2020
- LWeb: information flow security for multi-tier web applications POPL 2019
- Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code PLDI 2022
- POSTER: Optimizing Sparse Tensor Contraction with Revisiting Hash Table Design PPoPP 2024
- A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics CPP 2016
- Accelerating Automated Program Verifiers by Automatic Proof Localization CAV 2025
- Gauss: program synthesis by reasoning over graphs OOPSLA 2021