Hui Jin

~Hui_Jin1

3

论文总数

3.0

年均投稿

6.0

平均评分

接收情况1/3

会议分布

ICLR

3

发表论文 (3 篇)

20253 篇

The Buffer Mechanism for Multi-Step Information Reasoning in Language Models

ICLR 2025Rejected

CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search

ICLR 2025Poster

Process-Driven Autoformalization in Lean 4

ICLR 2025Rejected

合作者 (20)

Zhenguo Li2 篇

Haiming Wang2 篇

Jiacheng Sun1 篇

Tianyang Hu1 篇

Yaoyu Zhang1 篇

Yunji Wang1 篇

Zhangchen Zhou1 篇

Zhi-Qin John Xu1 篇