AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Jan Jakubuv

Jan Jakubuv

Czech Technical University in Prague - Prague / Czech Republic
Others
AD Scientific Index ID: 1600092
Ceské vysoké ucení technické v Praze
person_outline Jan Jakubuv's MOST POPULAR ARTICLES
1-) ENIGMA: Efficient learning-based inference guiding machine Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017
2-) ENIGMA-NG: Efficient neural and gradient-boosted inference guidance for E Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
3-) ENIGMA anonymous: Symbol-independent inference guiding machine (system description) International Joint Conference on Automated Reasoning, 448-463, 2020
4-) First neural conjecturing datasets and experiments International Conference on Intelligent Computer Mathematics, 315-323, 2020
5-) Hammering Mizar by learning clause guidance arXiv preprint arXiv:1904.01677, 2019