Machine Learning Meets The Herbrand Universe

7 October 2022

Papers citing "Machine Learning Meets The Herbrand Universe"

4 / 4 papers shown

Title
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 56 22 0 15 Apr 2024
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 40 4 0 06 Mar 2024
Alien Coding Thibault Gauthier Miroslav Olsák J. Urban 48 7 0 27 Jan 2023
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 61 133 0 10 Oct 2013