Yuhuai Wu

~Yuhuai_Wu1

3

论文总数

3.0

年均投稿

7.2

平均评分

接收情况3/3

会议分布

ICLR

3

发表论文 (3 篇)

20243 篇

REFACTOR: Learning to Extract Theorems from Proofs

ICLR 2024Poster

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization

ICLR 2024Poster

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024Poster

合作者 (14)

Jin Peng Zhou3 篇

Christian Szegedy2 篇

Roger Baker Grosse1 篇

Albert Q. Jiang1 篇

Bartosz Piotrowski1 篇

Łukasz Kuciński1 篇

Maciej Mikuła1 篇