notesum.ai

Published at November 2

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction

cs.LO
cs.AI
cs.LG
F.4.1, I.2.4

Released Date: November 2, 2024

Authors: Liao Zhang1, David M. Cerna2, Cezary Kaliszyk3

Aff.: 1University of Innsbruck, Innsbruck, Austria; 2Czech Academy of Sciences, Prague, Czechia; 3University of Melbourne

Arxiv: http://arxiv.org/abs/2411.01188v1