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

Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs., , , and . CoRR, (2020)Learning Branching Heuristics for Propositional Model Counting., , , , , , , and . CoRR, (2020)On the Quantitative Analysis of Decoder-Based Generative Models., , , and . ICLR (Poster), OpenReview.net, (2017)Concurrent Meta Reinforcement Learning., , , , , and . CoRR, (2019)Focused Transformer: Contrastive Training for Context Scaling, , , , , and . (2023)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)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)