Julie Cailler

Orcid: 0000-0002-6665-8089

According to our database1, Julie Cailler authored at least 6 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2022
2023
2024
0
1
2
3
4
5
1
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report).
CoRR, 2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus.
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.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Guiding Word Equation Solving Using Graph Neural Networks.
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).
PhD thesis, 2023

2022
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022


  Loading...