Jan Jakubův

Available identifiers

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)	2024-02-28	Paper
Targeted configuration of an SMT solver	2023-06-02	Paper
Hammering Mizar by Learning Clause Guidance (Short Paper).	2023-02-03	Paper
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)	2022-11-09	Paper
Learning theorem proving components	2022-05-25	Paper
Fast and slow enigmas and parental guidance	2022-03-24	Paper
Hierarchical invention of theorem proving strategies	2021-01-20	Paper
First neural conjecturing datasets and experiments	2021-01-20	Paper
Relaxed weighted path order in theorem proving	2020-10-30	Paper
ENIGMAWatch: ProofWatch meets ENIGMA	2020-05-14	Paper
ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)	2020-03-10	Paper
Enhancing ENIGMA given clause guidance	2018-10-18	Paper
ProofWatch: watchlist guidance for large theories in E	2018-10-04	Paper
Towards a unified ordering for superposition-based automated reasoning	2018-08-17	Paper
ENIGMA: efficient learning-based inference guiding machine	2017-07-21	Paper
Extending E prover with similarity based clause selection strategies	2016-08-30	Paper

This page was built for person: Jan Jakubův