PaMpeR: proof method recommendation system for Isabelle/HOL

Yutaka Nagashima, Yilun He. PaMpeR: proof method recommendation system for Isabelle/HOL. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 362-372, ACM, 2018. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: