Julie Cailler
Associate Professor
University of Lorraine, CNRS, Inria, LORIA, Nancy, France
HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT
Post
When GNNs Met a Word Equations Solver: Learning to Rank Equations
Posted
Oct 1, 2025
Updated
Oct 1, 2025
By
1 min
read
conferences
This post is licensed under
CC BY 4.0
by the author.
Share
Further Reading
Oct 24, 2024
Guiding Word Equation Solving using Graph Neural Networks
Jul 29, 2025
Interoperability of Proof systems with SC-TPTP (System Description)
Aug 9, 2022
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)
Deskolemization: From Tableaux to Machine-Checkable Proofs
-
×
A new version of content is available.
Update