6 citations · 9 across the 3 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 6 cited
Proof-Pattern Recognition and Lemma Discovery in ACL2
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson +1
We present a novel technique for combining statistical machine learning for proof-pattern recognition with symbolic methods for lemma discovery. The resulting tool, ACL2(ml), gathe…
cs.LO2013★ 3 cited
Towards Automated Proof Strategy Generalisation
Gudmund Grov, Ewen Maclean
The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved. Here, we d…