1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LG2025
Geometric Reasoning in the Embedding Space
Jan Hůla, David Mojžíšek, Jiří Janeček +2
In this contribution, we demonstrate that Graph Neural Networks and Transformers can learn to reason about geometric constraints. We train them to predict spatial position of point…
cs.LG2025★ 1 cited
Neural Approaches to SAT Solving: Design Choices and Interpretability
David Mojžíšek, Jan Hůla, Ziwei Li +2
In this contribution, we provide a comprehensive evaluation of graph neural networks applied to Boolean satisfiability problems, accompanied by an intuitive explanation of the mech…
cs.LG2024
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Jan Hůla, David Mojžíšek, Mikoláš Janota
The paper deals with the interpretability of Graph Neural Networks in the context of Boolean Satisfiability. The goal is to demystify the internal workings of these models and prov…