From post

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.

 

Другие публикации лиц с тем же именем

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