Zinkov, Robert

4 publications

NeurIPSW 2024 VerMCTS: Synthesizing Multi-Step Programs Using a Verifier, a Large Language Model, and Tree Search David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe R Loughridge, Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, Nada Amin

AISTATS 2022 Amortized Rejection Sampling in Universal Probabilistic Programming Saeid Naderiparizi, Adam Scibior, Andreas Munk, Mehrdad Ghadiri, Atilim Gunes Baydin, Bradley J. Gram-Hansen, Christian A. Schroeder De Witt, Robert Zinkov, Philip Torr, Tom Rainforth, Yee Whye Teh, Frank Wood

UAI 2017 Composing Inference Algorithms as Program Transformations Robert Zinkov, Chung-chieh Shan

AAAI 2008 Potential-Based Shaping in Model-Based Reinforcement Learning John Asmuth, Michael L. Littman, Robert Zinkov