HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Herman Geuvers

Publications
Tactic Learning and Proving for the Coq Proof Assistant
Lasse Blaauwbroek, Josef Urban and Herman Geuvers
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Coq, interactive theorem proving, machine learning, Proof synthesis, Tactic Search.

Copyright © 2012-2025 easychair.org. All rights reserved.