Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving., , , and . CoRR, (2020)Path Independent Equilibrium Models Can Better Exploit Test-Time Computation., , , , , , , and . CoRR, (2022)Learning to Give Checkable Answers with Prover-Verifier Games., , , and . CoRR, (2021)Sandwiching the marginal likelihood using bidirectional Monte Carlo., , and . CoRR, (2015)Unsupervised learning of hierarchical representations with convolutional deep belief networks., , , and . Commun. ACM, 54 (10): 95-103 (2011)Learning Branching Heuristics for Propositional Model Counting., , , , , , , and . CoRR, (2020)Self-Tuning Networks: Bilevel Optimization of Hyperparameters using Structured Best-Response Functions., , , , and . ICLR (Poster), OpenReview.net, (2019)Aggregated Momentum: Stability Through Passive Damping., , , and . ICLR (Poster), OpenReview.net, (2019)Discovering and Exploiting Additive Structure for Bayesian Optimization., , , , and . AISTATS, volume 54 of Proceedings of Machine Learning Research, page 1311-1319. PMLR, (2017)On the Quantitative Analysis of Decoder-Based Generative Models., , , and . ICLR (Poster), OpenReview.net, (2017)