C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Huajian Xin
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Answer Set Programming
Inference Rules
Proof Planning
Theorem Proving
Top Venues
CoRR
</>
Publications
</>
Yinya Huang
,
Xiaohan Lin
,
Zhengying Liu
,
Qingxing Cao
,
Huajian Xin
,
Haiming Wang
,
Zhenguo Li
,
Linqi Song
,
Xiaodan Liang
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.
CoRR
(2024)
Chengwu Liu
,
Jianhao Shen
,
Huajian Xin
,
Zhengying Liu
,
Ye Yuan
,
Haiming Wang
,
Wei Ju
,
Chuanyang Zheng
,
Yichun Yin
,
Lin Li
,
Ming Zhang
,
Qun Liu
FIMO: A Challenge Formal Dataset for Automated Theorem Proving.
CoRR
(2023)
Haiming Wang
,
Huajian Xin
,
Chuanyang Zheng
,
Lin Li
,
Zhengying Liu
,
Qingxing Cao
,
Yinya Huang
,
Jing Xiong
,
Han Shi
,
Enze Xie
,
Jian Yin
,
Zhenguo Li
,
Heng Liao
,
Xiaodan Liang
LEGO-Prover: Neural Theorem Proving with Growing Libraries.
CoRR
(2023)
Chuanyang Zheng
,
Haiming Wang
,
Enze Xie
,
Zhengying Liu
,
Jiankai Sun
,
Huajian Xin
,
Jianhao Shen
,
Zhenguo Li
,
Yu Li
Lyra: Orchestrating Dual Correction in Automated Theorem Proving.
CoRR
(2023)