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

Focused Transformer: Contrastive Training for Context Scaling, , , , , and . (2023)Learning Branching Heuristics for Propositional Model Counting., , , , , , , and . CoRR, (2020)Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs., , , and . CoRR, (2020)Path Independent Equilibrium Models Can Better Exploit Test-Time Computation., , , , , , , and . CoRR, (2022)Concurrent Meta Reinforcement Learning., , , , , and . CoRR, (2019)On the Quantitative Analysis of Decoder-Based Generative Models., , , and . ICLR (Poster), OpenReview.net, (2017)INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving., , , and . CoRR, (2020)Learning to Give Checkable Answers with Prover-Verifier Games., , , and . CoRR, (2021)Invariant Causal Representation Learning for Out-of-Distribution Generalization., , , and . ICLR, OpenReview.net, (2022)Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search., , , , , , , , and . ICLR, OpenReview.net, (2023)