Goéland: A Concurrent Tableau-Based Theorem Prover (System Description). - Julie Cailler; Johann Rosain; David Delahaye; Simon Robillard; Hinde-Lilia Bouziane (IJCAR, 2022)

Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic. (Conception d'un prouveur automatique de théorèmes concurrent basé sur la méthode des tableaux pour la logique du premier ordre). - Julie Cailler (2023)

Guiding Word Equation Solving Using Graph Neural Networks. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (ATVA, 2024)

A Generic Deskolemization Strategy. - Johann Rosain; Richard Bonichon; Julie Cailler; Olivier Hermant (LPAR, 2024)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus. - Julie Cailler; Simon Guilloud (PAAR+SC²@IJCAR, 2024)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report). - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (CoRR, 2024)

Guiding Word Equation Solving using Graph Neural Networks. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (Zenodo, 2024)

Interoperability of Proof Systems with SC-TPTP. - Simon Guilloud; Julie Cailler; Sankalp Gambhir; Auguste Poiroux; Yann Herklotz; Thomas Bourgeat; Viktor Kuncak (CADE, 2025)

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report). - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (CoRR, 2025)