Christian Walder
- Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
2025/07/07 by Gheorghe Comanici, Comanici, Gheorghe, Eric Bieber +6844 · 8 voices · 1398 citations
#cs.CL #cs.AI
- Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems
2025/05/21 by Christian Walder, Deep Karkhanis, Walder, Christian +1 · 17 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics #Scheduling and Optimization Algorithms #Transportation and Mobility Innovations
- TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
2021/02/19 by Minchao Wu, Michael Norrish, Wu, Minchao +5 · 3 citations
Computer Science · #Logic, programming, and type systems #Artificial Intelligence in Games #Reinforcement Learning in Robotics
- EditVAE: Unsupervised Part-Aware Controllable 3D Point Cloud Shape Generation
2021/10/13 by Shidi Li, Miaomiao Liu, Li, Shidi +3 · 3 citations
Computer Science · Engineering · #3D Shape Modeling and Analysis #Computer Graphics and Visualization Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image Processing and 3D Reconstruction
- R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents
2023/03/01 by Daniel D. Johnson, Daniel Tarlow, Johnson, Daniel D. +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
- Modelling Symbolic Music: Beyond the Piano Roll
2016/06/04 by Christian Walder, Walder, Christian · 2 citations
Computer Science · #Music and Audio Processing #Music Technology and Sound Studies #Generative Adversarial Networks and Image Synthesis
- All your loss are belong to Bayes
2020/06/08 by Christian Walder, Richard Nock, Walder, Christian +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Machine Learning and Data Classification
- A Universal Sets-level Optimization Framework for Next Set Recommendation
2024/10/30 by Y. B. Liu, Liu, Yuli, Min Liu +5 · 1 citation
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Recommender Systems and Techniques #Scheduling and Timetabling Solutions
- Learning k-Determinantal Point Processes for Personalized Ranking
2024/06/23 by Yuli Liu, Liu, Yuli, Christian Walder +3 · 1 citation
Computer Science · Decision Sciences · Mathematics · #Data Management and Algorithms #Multi-Criteria Decision Making #Point processes and geometric inequalities