Author:Mikolas Janota

Publications
First Experiments with Neural cvc5 Jelle Piepenbrock, Mikolas Janota, Josef Urban and Jan Jakubuv In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Experiments on Infinite Model Finding in SMT Solving Julian Parsert, Chad Brown, Mikolas Janota and Cezary Kaliszyk In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier, Chad Brown, Mikolas Janota and Josef Urban In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Towards Smarter MACE-style Model Finders Mikolas Janota and Martin Suda In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Playing with Quantified Satisfaction Nikolaj Bjorner and Mikolas Janota In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
On Conflicts and Strategies in QBF Nikolaj Bjorner, Mikolas Janota and William Klieber In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Keyphrases

arithmetic, automated reasoning, automated theorem provers, benchmark, CEGAR, conflict analysis, EPR, finite model finder, induction, inductive theorem provers, infinite model, machine learning, OEIS, QBF², quantification, quantifier elimination, SAT, SMT², strategies, SyGuS, theorem proving.