Picture for Mikoláš Janota

Mikoláš Janota

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
Viaarxiv icon

Solving Hard Mizar Problems with Instantiation and Strategy Invention

Add code
Jun 25, 2024
Viaarxiv icon

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

Add code
Jul 29, 2023
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

Learning Equational Theorem Proving

Add code
Feb 10, 2021
Figure 1 for Learning Equational Theorem Proving
Figure 2 for Learning Equational Theorem Proving
Figure 3 for Learning Equational Theorem Proving
Figure 4 for Learning Equational Theorem Proving
Viaarxiv icon

Exploiting Resolution-based Representations for MaxSAT Solving

Add code
May 10, 2015
Figure 1 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 2 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 3 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 4 for Exploiting Resolution-based Representations for MaxSAT Solving
Viaarxiv icon