Haiming Wang
9 papers · 2023–2025 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Gold π Conference Polyglot Β· Silver πΊοΈ Taxonomy Completionist (22) π£ Hot Topic Early Bird π Keyword Champion (3)
β‘
Prolific Year Β· Productive
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(7)
Knowledge & Reasoning
(3)
Machine Learning
(3)
Natural Language Processing
(3)
Reasoning
(3)
Deep Learning
(2)
Learning Paradigms
(2)
Learning Types
(2)
Models
(2)
Optimization & Theory
(2)
Resources & Methods
(2)
Computer Science
(1)
Mathematics & Optimization
(1)
Application Areas
(1)
Keywords
large language model
(7)
automated theorem proving
(4)
formal proof
(3)
neural theorem proving
(3)
language model
(3)
value function
(2)
mathematical reasoning
(2)
formal verification
(2)
automated reasoning
(2)
proof search
(2)
theorem proving
(2)
monte carlo tree search
(2)
exemplar selection
(1)
recursive reasoning
(1)
program synthesis
(1)
multimodal learning
(1)
low-rank approximation
(1)
in-context learning
(1)
data heterogeneity
(1)
tree search
(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
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
ICLR 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NeurIPS 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
Proving Theorems Recursively
NeurIPS 2024
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023