The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq

von Blaauwbroek, Lasse
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Online Machine Learning Techniques for Coq: A Comparison

von Zhang, Liao
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)