337 citations · 433 across the 16 of their papers we have counts for
4 papers · 1 filter
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
Chengwu Liu, Yichun Yin, Ye Yuan +7
Most ATP benchmarks embed the final answer within the formal statement -- a convention we call "Easy Mode" -- a design that simplifies the task relative to what human competitors f…
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Chengwu Liu, Jianhao Shen, Huajian Xin +9
We present FIMO, an innovative dataset comprising formal mathematical problem statements sourced from the International Mathematical Olympiad (IMO) Shortlisted Problems. Designed t…
Learning to Answer Ambiguous Questions with Knowledge Graph
Yikai Zhu, Jianhao Shen, Ming Zhang
In the task of factoid question answering over knowledge base, many questions have more than one plausible interpretation. Previous works on SimpleQuestions assume only one interpr…
Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction
Luchen Liu, Jianhao Shen, Ming Zhang +2
The availability of a large amount of electronic health records (EHR) provides huge opportunities to improve health care service by mining these data. One important application is…