Jan Jakubuv - RankMe

62 papers A* 2A 3B 9C 7Journal 26Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Machine learning for quantifier selection in cvc5. Int. J. Approx. Reason. Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban
2025	A*	`conf`	Automated Strategy Invention for Confluence of Term Rewrite Systems. IJCAI Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk
2025	J	`jnl`	First Experiments with Neural cvc5. CoRR Jelle Piepenbrock, Mikolás Janota, Jan Jakubuv
2025	J	`jnl`	Quantifier Instantiations: To Mimic or To Revolt? CoRR Jan Jakubuv, Mikolás Janota
2024	J	`jnl`	Automated Strategy Invention for Confluence of Term Rewrite Systems. CoRR Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk
2024	B	`conf`	First Experiments with Neural cvc5. LPAR Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv
2024	—	`conf`	Learning Guided Automated Reasoning: A Brief Survey. Logics and Type Systems in Theory and Practice Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
2024	J	`jnl`	Learning Guided Automated Reasoning: A Brief Survey. CoRR Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
2024	A	`conf`	Machine Learning for Quantifier Selection in cvc5. ECAI Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban
2024	J	`jnl`	Machine Learning for Quantifier Selection in cvc5. CoRR Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban
2024	B	`conf`	Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery. LPAR Kristina Aleksandrova, Jan Jakubuv, Cezary Kaliszyk
2024	C	`conf`	Solving Hard Mizar Problems with Instantiation and Strategy Invention. CICM Jan Jakubuv, Mikolás Janota, Josef Urban
2024	J	`jnl`	Solving Hard Mizar Problems with Instantiation and Strategy Invention. CoRR Jan Jakubuv, Mikolás Janota, Josef Urban
2023	B	`conf`	MizAR 60 for Mizar 50. ITP Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
2023	J	`jnl`	MizAR 60 for Mizar 50. CoRR Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
2023	—	`conf`	Selecting Quantifiers for Instantiation in SMT. SMT Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds
2023	C	`conf`	VizAR: Visualization of Automated Reasoning Proofs (System Description). CICM Jan Jakubuv, Cezary Kaliszyk
2022	C	`conf`	Targeted Configuration of an SMT Solver. CICM Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej
2022	B	`conf`	The Isabelle ENIGMA. ITP Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
2022	J	`jnl`	The Isabelle ENIGMA. CoRR Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
2021	—	`conf`	Characteristic Subsets of SMT-LIB Benchmarks. SMT Jan Jakubuv, Mikolás Janota, Andrew Reynolds
2021	—	`conf`	Fast and Slow Enigmas and Parental Guidance. FroCoS Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban
2021	J	`jnl`	Fast and Slow Enigmas and Parental Guidance. CoRR Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban
2021	B	`conf`	Learning Theorem Proving Components. TABLEAUX Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban
2021	J	`jnl`	Learning Theorem Proving Components. CoRR Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban
2020	—	`conf`	ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description). IJCAR (2) Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban
2020	J	`jnl`	ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description). CoRR Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban
2020	C	`conf`	First Neural Conjecturing Datasets and Experiments. CICM Josef Urban, Jan Jakubuv
2020	J	`jnl`	First Neural Conjecturing Datasets and Experiments. CoRR Josef Urban, Jan Jakubuv
2020	J	`jnl`	Relaxed Weighted Path Order in Theorem Proving. Math. Comput. Sci. Jan Jakubuv, Cezary Kaliszyk
2019	A	`conf`	ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. CADE Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban
2019	J	`jnl`	ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. CoRR Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban
2019	B	`conf`	ENIGMAWatch: ProofWatch Meets ENIGMA. TABLEAUX Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban
2019	J	`jnl`	ENIGMAWatch: ProofWatch Meets ENIGMA. CoRR Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban
2019	B	`conf`	Hammering Mizar by Learning Clause Guidance (Short Paper). ITP Jan Jakubuv, Josef Urban
2019	J	`jnl`	Hammering Mizar by Learning Clause Guidance. CoRR Jan Jakubuv, Josef Urban
2018	C	`conf`	Enhancing ENIGMA Given Clause Guidance. CICM Jan Jakubuv, Josef Urban
2018	J	`jnl`	Hierarchical invention of theorem proving strategies. AI Commun. Jan Jakubuv, Josef Urban
2018	—	`conf`	ProofWatch Meets ENIGMA: First Experiments. LPAR (Workshop and Short Papers) Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban
2018	B	`conf`	ProofWatch: Watchlist Guidance for Large Theories in E. ITP Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
2018	J	`jnl`	ProofWatch: Watchlist Guidance for Large Theories in E. CoRR Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
2018	J	`jnl`	Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning. Trans. Comput. Collect. Intell. Jan Tozicka, Jan Jakubuv, Antonín Komenda
2018	—	`conf`	Towards a Unified Ordering for Superposition-Based Automated Reasoning. ICMS Jan Jakubuv, Cezary Kaliszyk
2017	—	`conf`	Automated Invention of Strategies and Term Orderings for Vampire. GCAI Jan Jakubuv, Martin Suda, Josef Urban
2017	B	`conf`	BliStrTune: hierarchical invention of theorem proving strategies. CPP Jan Jakubuv, Josef Urban
2017	C	`conf`	ENIGMA: Efficient Learning-Based Inference Guiding Machine. CICM Jan Jakubuv, Josef Urban
2017	J	`jnl`	ENIGMA: Efficient Learning-based Inference Guiding Machine. CoRR Jan Jakubuv, Josef Urban
2016	J	`jnl`	BliStrTune: Hierarchical Invention of Theorem Proving Strategies. CoRR Jan Jakubuv, Josef Urban
2016	C	`conf`	Extending E Prover with Similarity Based Clause Selection Strategies. CICM Jan Jakubuv, Josef Urban
2016	J	`jnl`	Extending E Prover with Similarity Based Clause Selection Strategies. CoRR Jan Jakubuv, Josef Urban
2016	J	`jnl`	Privacy-concerned multiagent planning. Knowl. Inf. Syst. Jan Tozicka, Jan Jakubuv, Antonín Komenda, Michal Pechoucek
2016	A*	`conf`	Recursive Polynomial Reductions for Classical Planning. ICAPS Jan Tozicka, Jan Jakubuv, Martin Svatos, Antonín Komenda
2016	—	`conf`	Recursive Reductions of Internal Dependencies in Multiagent Planning. ICAART (2) Jan Tozicka, Jan Jakubuv, Antonín Komenda
2015	J	`jnl`	Extensibility Based Multiagent Planner with Plan Diversity Metrics. Trans. Comput. Collect. Intell. Jan Tozicka, Jan Jakubuv, Karel Durkota, Antonín Komenda
2015	—	`conf`	From Public Plans to Global Solutions in Multiagent Planning. EUMAS/AT Jan Tozicka, Jan Jakubuv, Antonín Komenda
2015	—	`conf`	Multiagent Planning by Plan Set Intersection and Plan Verification. ICAART (2) Jan Jakubuv, Jan Tozicka, Antonín Komenda
2015	—	`conf`	Using Process Calculi for Plan Verification in Multiagent Planning. ICAART (Revised Selected Papers) Jan Jakubuv, Jan Tozicka, Antonín Komenda
2014	A	`conf`	Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines. ECAI Jan Tozicka, Jan Jakubuv, Antonín Komenda
2014	—	`conf`	Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions. ICAART (1) Jan Tozicka, Jan Jakubuv, Karel Durkota, Antonín Komenda, Michal Pechoucek
2010	J	`jnl`	Expressiveness of Generic Process Shape Types CoRR Jan Jakubuv, J. B. Wells
2010	—	`conf`	Expressiveness of Generic Process Shape Types. TGC Jan Jakubuv, J. B. Wells
2010	—	`—`	Generic process shape types and the Poly* system Jan Jakubuv