MizAR 60 for Mizar 50

12 March 2023

Papers citing "MizAR 60 for Mizar 50"

9 / 9 papers shown

Title
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 82 20 0 20 Dec 2024
Machine Learning for Quantifier Selection in cvc5 Jan Jakubův Mikoláš Janota Jelle Piepenbrock Josef Urban 22 0 0 26 Aug 2024
Solving Hard Mizar Problems with Instantiation and Strategy Invention Jan Jakubuv Mikoláš Janota Josef Urban 25 0 0 25 Jun 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 42 21 0 15 Apr 2024
Regularization in Spider-Style Strategy Discovery and Schedule Construction Filip Bártek Karel Chvalovský Martin Suda 18 4 0 19 Mar 2024
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 19 4 0 06 Mar 2024
Learning Program Synthesis for Integer Sequences from Scratch Thibault Gauthier Josef Urban 57 6 0 24 Feb 2022
Fast and Slow Enigmas and Parental Guidance Z. Goertzel Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban 40 11 0 14 Jul 2021
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 54 131 0 10 Oct 2013