Jan Jakubův

MaRDI QIDQ831935zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Solving hard Mizar problems with instantiation and strategy invention	2024-12-04	Paper
Mizar 60 for Mizar 50	2024-11-26	Paper
The Isabelle ENIGMA	2024-07-15	Paper
VizAR: visualization of automated reasoning proofs (system description) Lecture Notes in Computer Science	2024-02-28	Paper
Targeted configuration of an SMT solver Lecture Notes in Computer Science	2023-06-02	Paper
Hammering Mizar by Learning Clause Guidance (Short Paper). (available as arXiv preprint)	2023-02-03	Paper
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) Automated Reasoning	2022-11-09	Paper
Learning theorem proving components (available as arXiv preprint)	2022-05-25	Paper
Fast and slow enigmas and parental guidance (available as arXiv preprint)	2022-03-24	Paper
Hierarchical invention of theorem proving strategies AI Communications	2021-01-20	Paper
First neural conjecturing datasets and experiments (available as arXiv preprint)	2021-01-20	Paper
Relaxed weighted path order in theorem proving Mathematics in Computer Science	2020-10-30	Paper
ENIGMAWatch: ProofWatch meets ENIGMA (available as arXiv preprint)	2020-05-14	Paper
ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (available as arXiv preprint)	2020-03-10	Paper
Enhancing ENIGMA given clause guidance	2018-10-18	Paper
ProofWatch: watchlist guidance for large theories in E (available as arXiv preprint)	2018-10-04	Paper
Towards a unified ordering for superposition-based automated reasoning	2018-08-17	Paper
ENIGMA: efficient learning-based inference guiding machine (available as arXiv preprint)	2017-07-21	Paper
Extending E prover with similarity based clause selection strategies Lecture Notes in Computer Science	2016-08-30	Paper

Research outcomes over time

This page was built for person: Jan Jakubův