PPaperPicks

Christian Walder

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Yuli Liu
DBLP profile ↗ORCID search ↗
×3
Sean Lamont
DBLP profile ↗ORCID search ↗
×2
Xinlei Niu
DBLP profile ↗ORCID search ↗
×1

Papers

  1. 3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
    NeurIPS 2025 ·
    Sean Lamont
    DBLP profile ↗ORCID search ↗
  2. Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems
    NeurIPS 2025 · Christian Walder
  3. A Universal Sets-level Optimization Framework for Next Set Recommendation
    CIKM 2024 ·
    Yuli Liu
    DBLP profile ↗ORCID search ↗
  4. BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
    AAAI 2024 ·
    Sean Lamont
    DBLP profile ↗ORCID search ↗
  5. Latent Optimal Paths by Gumbel Propagation for Variational Bayesian Dynamic Programming
    ICML 2024 ·
    Xinlei Niu
    DBLP profile ↗ORCID search ↗
  6. Learning k-Determinantal Point Processes for Personalized Ranking
    ICDE 2024 ·
    Yuli Liu
    DBLP profile ↗ORCID search ↗
  7. Probabilistic Attention for Sequential Recommendation
    SIGKDD 2024 ·
    Yuli Liu
    DBLP profile ↗ORCID search ↗