Mikoláš Janota
- Counterexample Guided Abstraction Refinement Algorithm for Propositional\n Circumscription
2010/06/30 by Mikoláš Janota, João Marques‐Silva, Janota, Mikoláš +3 · 2 citations
Computer Science · #Formal Methods in Verification #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
2022/06/17 by Pedro Orvalho, Mikoláš Janota, Orvalho, Pedro +3 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Teaching and Learning Programming
- Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
2024/12/19 by Pedro Orvalho, Orvalho, Pedro, Mikoláš Janota +3 · 3 citations
Engineering · Computer Science · #Integrated Circuits and Semiconductor Failure Analysis #VLSI and Analog Circuit Testing #Radiation Effects in Electronics
- Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
2024/08/27 by Jan Hůla, Hůla, Jan, David Mojžíšek +3 · 1 citation
Computer Science · #Formal Methods in Verification #Machine Learning and Data Classification #Machine Learning and Algorithms