Picture for Mikoláš Janota

Mikoláš Janota

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

Machine Learning for Quantifier Selection in cvc5

Add code
Aug 26, 2024
Viaarxiv icon

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

Add code
Jul 12, 2024
Figure 1 for CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
Figure 2 for CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
Figure 3 for CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
Figure 4 for CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
Viaarxiv icon

Solving Hard Mizar Problems with Instantiation and Strategy Invention

Add code
Jun 25, 2024
Figure 1 for Solving Hard Mizar Problems with Instantiation and Strategy Invention
Figure 2 for Solving Hard Mizar Problems with Instantiation and Strategy Invention
Figure 3 for Solving Hard Mizar Problems with Instantiation and Strategy Invention
Figure 4 for Solving Hard Mizar Problems with Instantiation and Strategy Invention
Viaarxiv icon

Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

Add code
Jul 29, 2023
Figure 1 for Graph Neural Networks For Mapping Variables Between Programs -- Extended Version
Figure 2 for Graph Neural Networks For Mapping Variables Between Programs -- Extended Version
Figure 3 for Graph Neural Networks For Mapping Variables Between Programs -- Extended Version
Figure 4 for Graph Neural Networks For Mapping Variables Between Programs -- Extended Version
Viaarxiv icon

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

Add code
Jun 29, 2022
Figure 1 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Figure 2 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Figure 3 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Figure 4 for InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Viaarxiv icon

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments

Add code
Jun 17, 2022
Figure 1 for C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Figure 2 for C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Figure 3 for C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Viaarxiv icon

Fair and Adventurous Enumeration of Quantifier Instantiations

Add code
May 28, 2021
Figure 1 for Fair and Adventurous Enumeration of Quantifier Instantiations
Figure 2 for Fair and Adventurous Enumeration of Quantifier Instantiations
Figure 3 for Fair and Adventurous Enumeration of Quantifier Instantiations
Figure 4 for Fair and Adventurous Enumeration of Quantifier Instantiations
Viaarxiv icon