Xujie Si

~Xujie_Si1

6

论文总数

3.0

年均投稿

6.1

平均评分

接收情况4/6

会议分布

ICLR

3

NeurIPS

1

ICML

1

COLM

1

发表论文 (6 篇)

20253 篇

Learning Reliable Rules by Re-generating Deep Features

ICLR 2025Rejected

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

ICLR 2025Poster

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories

ICML 2025Poster

20243 篇

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

ICLR 2024Rejected

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff

NeurIPS 2024Poster

A Survey on Deep Learning for Theorem Proving

COLM 2024Poster

合作者 (20)

Yuhe Jiang2 篇

Kaiyu Yang2 篇

Xian Zhang2 篇