52 citations · 79 across the 16 of their papers we have counts for
1 paper · 1 filter
Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
We present ML4PG - a machine learning extension for Proof General. It allows users to gather proof statistics related to shapes of goals, sequences of applied tactics, and proof tr…