Haiming Wang

HaimingW's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 7 papers about 2 months ago

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Paper • 2310.10180 • Published Oct 16, 2023 • 1

FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Paper • 2309.04295 • Published Sep 8, 2023 • 1

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Paper • 2402.08957 • Published Feb 14, 2024

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

Paper • 2406.14408 • Published Jun 20, 2024

Process-Driven Autoformalization in Lean 4

Paper • 2406.01940 • Published Jun 4, 2024

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Paper • 2310.02954 • Published Oct 4, 2023

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Paper • 2504.11354 • Published Apr 15 • 6