Picture for David Mojžíšek

David Mojžíšek

Geometric Reasoning in the Embedding Space

Add code
Apr 02, 2025
Viaarxiv icon

Neural Approaches to SAT Solving: Design Choices and Interpretability

Add code
Apr 01, 2025
Viaarxiv icon

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms

Add code
Aug 27, 2024
Figure 1 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Figure 2 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Figure 3 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Figure 4 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Viaarxiv icon