Author of the publication

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.

, , , , , and . ICML, volume 139 of Proceedings of Machine Learning Research, page 11251-11262. PMLR, (2021)

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)Concurrent Meta Reinforcement Learning., , , , , and . CoRR, (2019)Focused Transformer: Contrastive Training for Context Scaling, , , , , and . (2023)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)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)