Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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 3334
Keyphrases
interactive theorem proving
,
machine learning
,
proof assistants
.
Copyright © 2012-2025 easychair.org. All rights reserved.
