Capability Discovery for Automated Reasoning Systems. - Alexander Steen; Max Wisniewski; Hans-Jörg Schurr; Christoph Benzmüller (IWIL@LPAR, 2017)

Reconstructing veriT Proofs in Isabelle/HOL. - Mathias Fleury; Hans-Jörg Schurr (PxTP, 2019)

Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant. - Hans-Jörg Schurr; Mathias Fleury; Martin Desharnais (CADE, 2021)

Quantifier Simplification by Unification in SMT. - Pascal Fontaine; Hans-Jörg Schurr (FroCoS, 2021)

Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant. - Hans-Jörg Schurr; Mathias Fleury; Martin Desharnais (SMT, 2021)

Alethe: Towards a Generic SMT Proof Format (extended abstract). - Hans-Jörg Schurr; Mathias Fleury; Haniel Barbosa; Pascal Fontaine (PxTP, 2021)

Optimal Strategy Schedules for Everyone. - Hans-Jörg Schurr (PAAR@IJCAR, 2022)

Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules. (Consolidation des solveurs SMT pour les assistants de preuve: preuves, simplification des quantificateurs, planification de stratégies). - Hans-Jörg Schurr (2022)

SMT-LIB release 2023 (incremental benchmarks). - Mathias Preiner; Hans-Jörg Schurr; Clark W. Barrett; Pascal Fontaine; Aina Niemetz; Cesare Tinelli (Zenodo, 2024)

SMT-LIB release 2023 (non-incremental benchmarks). - Mathias Preiner; Hans-Jörg Schurr; Clark W. Barrett; Pascal Fontaine; Aina Niemetz; Cesare Tinelli (Zenodo, 2024)

SMT-LIB release 2024 (non-incremental benchmarks). - Mathias Preiner; Hans-Jörg Schurr; Clark W. Barrett; Pascal Fontaine; Aina Niemetz; Cesare Tinelli (Zenodo, 2024)

SMT-LIB release 2024 (incremental benchmarks). - Mathias Preiner; Hans-Jörg Schurr; Clark W. Barrett; Pascal Fontaine; Aina Niemetz; Cesare Tinelli (Zenodo, 2024)

SMT-LIB release 2024 (incremental benchmarks). - Mathias Preiner; Hans-Jörg Schurr; Clark W. Barrett; Pascal Fontaine; Aina Niemetz; Cesare Tinelli (Zenodo, 2024)

cvc5 for SMT-COMP 2024. - Leni Aniva; Haniel Barbosa; Clark W. Barrett; Hanna Lachnitt; Daniel Larraz; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Hans-Jörg Schurr; et al. (Zenodo, 2024)

Looking for Signs: Reasoning About FOBNNs Using SAT. - Hans-Jörg Schurr; Athénaïs Vaginay (CMSB, 2025)