Christian Walder

~Christian_Walder1

3

论文总数

3.0

年均投稿

6.7

平均评分

接收情况2/3

会议分布

NeurIPS

2

ICLR

1

发表论文 (3 篇)

20253 篇

Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems

NeurIPS 2025Spotlight

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes

NeurIPS 2025Poster

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes

ICLR 2025Rejected

合作者 (5)

Amir Dezfouli2 篇

Michael Norrish2 篇

Paul Montague2 篇

Sean Lamont2 篇

Deep Tejas Karkhanis1 篇