Christian Walder

7 papers at tracked venues · 6 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×2 AAAI ×1 CIKM ×1 ICDE ×1 ICML ×1 SIGKDD ×1

Frequent coauthors

Yuli Liu

×3

Lexing Xie

×3

Sean Lamont

×2

Amir Dezfouli

×2

Paul Montague

×2

Michael Norrish

×2

Deep Karkhanis

×1

Min Liu

×1

Xinlei Niu

×1

Jing Zhang

×1

Charles Patrick Martin

×1

Yiqun Liu

×1

Papers

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
NeurIPS 2025 ·
Sean Lamont
, Christian Walder,
Amir Dezfouli
,
Paul Montague
,
Michael Norrish
Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems
NeurIPS 2025 · Christian Walder,
Deep Karkhanis
A Universal Sets-level Optimization Framework for Next Set Recommendation
CIKM 2024 ·
Yuli Liu
,
Min Liu
, Christian Walder,
Lexing Xie
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
AAAI 2024 ·
Sean Lamont
,
Michael Norrish
,
Amir Dezfouli
, Christian Walder,
Paul Montague
Latent Optimal Paths by Gumbel Propagation for Variational Bayesian Dynamic Programming
ICML 2024 ·
Xinlei Niu
, Christian Walder,
Jing Zhang
,
Charles Patrick Martin
Learning k-Determinantal Point Processes for Personalized Ranking
ICDE 2024 ·
Yuli Liu
, Christian Walder,
Lexing Xie
Probabilistic Attention for Sequential Recommendation
SIGKDD 2024 ·
Yuli Liu
, Christian Walder,
Lexing Xie
,
Yiqun Liu