TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Paper • 2310.10180 • Published • 1
Haiming Wang
HaimingW
AI & ML interests
None yet
Recent Activity
updated a dataset 23 days ago
HaimingW/ptb-cmb published a dataset 23 days ago
HaimingW/ptb-cmb updated a dataset 23 days ago
HaimingW/ptb-writingbenchOrganizations
None yet
authored 7
papers about 1 year ago
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Paper • 2309.04295 • Published • 1
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Paper • 2402.08957 • Published
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Paper • 2406.14408 • Published
Process-Driven Autoformalization in Lean 4
Paper • 2406.01940 • Published
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Paper • 2310.02954 • Published
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Paper • 2504.11354 • Published • 7