conferences 4

• Interoperability of Proof systems with SC-TPTP (System Description) Jul 29, 2025
• Guiding Word Equation Solving using Graph Neural Networks Oct 24, 2024
• A Generic Deskolemization Strategy May 30, 2024
• Goéland: A Concurrent Tableau-Based Theorem Prover (System Description) Aug 9, 2022