HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Guangshuai Mo

Publications
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies
Guangshuai Mo, Yan Xiong, Wenchao Huang and Lu Ma
EasyChair Preprint no. 3334

Keyphrases

interactive theorem proving, machine learning, proof assistants.

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