Qingxing Cao

~Qingxing_Cao1

3

论文总数

3.0

年均投稿

6.9

平均评分

接收情况3/3

会议分布

ICLR

3

发表论文 (3 篇)

20243 篇

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

ICLR 2024Spotlight

LEGO-Prover: Neural Theorem Proving with Growing Libraries

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

ICLR 2024Poster

合作者 (20)

Haiming Wang3 篇

Xiaodan Liang3 篇

Chuanyang Zheng2 篇

Huajian Xin2 篇

Jing Xiong2 篇

Yinya Huang2 篇

Zhenguo Li2 篇