Zhaoyu Li

~Zhaoyu_Li3

4

论文总数

2.0

年均投稿

6.6

平均评分

接收情况3/4

会议分布

ICLR

2

COLM

1

NeurIPS

1

发表论文 (4 篇)

20251 篇

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

ICLR 2025Poster

20243 篇

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

ICLR 2024Rejected

A Survey on Deep Learning for Theorem Proving

COLM 2024Poster

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

NeurIPS 2024Poster

合作者 (14)

Xian Zhang3 篇

Xiaoxing Ma2 篇

Kaiyu Yang2 篇

Xinming Wei1 篇