conferences 5
- When GNNs Met a Word Equations Solver: Learning to Rank Equations Oct 1, 2025
- 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