Julie Cailler

According to our database, Julie Cailler authored at least 9 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, June, 2025

Interoperability of Proof Systems with SC-TPTP.

Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Guiding Word Equation Solving using Graph Neural Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

Dataset, August, 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

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus.

Julie Cailler, Simon Guilloud

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

A Generic Deskolemization Strategy.

Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Guiding Word Equation Solving Using Graph Neural Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

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

PhD thesis, 2023

2022

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).

Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022