Haiming Wang
9 papers · 2023–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π Cross-Pollinator (13)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(17)
π
Keyword Champion
(4)
β‘
Prolific Year
(5)
Conferences
ICLR (4)
NIPS (2)
ACL (1)
EMNLP (1)
WACV (1)
Top co-authors
Keywords
automated theorem proving
(4)
large language model
(4)
language model
(3)
automated reasoning
(2)
proof search
(2)
formal verification
(2)
value function
(1)
monte-carlo tree search
(1)
recursive reasoning
(1)
recursive algorithm
(1)
tree search
(1)
data heterogeneity
(1)
model fine-tuning
(1)
recursive proof
(1)
theorem prover
(1)
neural theorem proving
(1)
formal proof
(1)
step-by-step reasoning
(1)
client-side training
(1)
proof verification
(1)
Papers
CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search
ICLR 2025
MLLM-LLaVA-FL: Multimodal Large Language Model Assisted Federated Learning
WACV 2025
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NIPS 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
ICLR 2024
Proving Theorems Recursively
NIPS 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023