Get started
Author

Jibiana Zoe Jakpor

Observed name: Jakpor, Jibiana
Institution: Stanford University
Observed institution: Stanford University
ORCID: 0009-0000-2840-3109
Observed ORCID: 0009-0000-2840-3109
OpenAlex ID: A5143501656
Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL
2025 · Lachnitt, Hanna, Fleury, Mathias, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026 · Andrew Reynolds, Hans-Jörg Schurr, et al. · Lecture notes in computer science · 1
PDF
Artifact #71 CAV26 - The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026 · Reynolds, Andrew, Schurr, Hans-Jörg, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 3
Citation count: 5
H-index: 1
I10-index:
Year
Topic
Type