Login / Signup
FIMO: A Challenge Formal Dataset for Automated Theorem Proving.
Chengwu Liu
Jianhao Shen
Huajian Xin
Zhengying Liu
Ye Yuan
Haiming Wang
Wei Ju
Chuanyang Zheng
Yichun Yin
Lin Li
Ming Zhang
Qun Liu
Published in:
CoRR (2023)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
machine learning
benchmark datasets
formal model
visual object classes
data sets
knowledge representation
general purpose
feature set
inference rules
synthetic datasets