Christian Szegedy

~Christian_Szegedy1

2

论文总数

2.0

年均投稿

7.1

平均评分

接收情况2/2

会议分布

ICLR

2

发表论文 (2 篇)

20242 篇

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

ICLR 2024Poster

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024Poster

合作者 (12)

Jin Peng Zhou2 篇

Albert Q. Jiang1 篇

Bartosz Piotrowski1 篇

Łukasz Kuciński1 篇

Maciej Mikuła1 篇

Piotr Miłoś1 篇

Szymon Antoniak1 篇