JEFL: Joint Embedding of Formal Proof Libraries

von Wang, Qingxiane
Veröffentlicht in FroCoS (13. : 2021 : Birmingham) Frontiers of Combining Systems (2021)

A Survey of Languages for Formalizing Mathematics

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

Lash 1.0 (System Description)

von Brown, Chad E.
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Property Invariant Embedding for Automated Reasoning

von Olšák, Miroslav
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 2 (2020)

Towards Finding Longer Proofs

von Zombori, Zsolt
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Online Machine Learning Techniques for Coq: A Comparison

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

Intelligent computer mathematics : 12th international conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019 : proceedings

Veröffentlicht 2019

Intelligent computer mathematics : International Conference, CICM 2015 Washington, DC, USA, July 13-17, 2015, Proceedings

Veröffentlicht 2015