Haiming Wang
~Haiming_Wang1
8
论文总数
4.0
年均投稿
平均评分
接收情况5/8
会议分布
ICLR
7
NeurIPS
1
发表论文 (8 篇)
20253 篇
20245 篇
4
Proving Theorems Recursively
NeurIPS 2024Poster
4
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024Oral
4
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
ICLR 2024Rejected
3
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024Spotlight
4
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
ICLR 2024Poster