Timezone: »
Type Inference as Optimization - Eirene V. Pandi
AIPLANS 2021 · Eirini V. Pandi
Tue Dec 14 01:41 PM -- 01:51 PM (PST) @
Author Information
AIPLANS 2021 (NeurIPS)
Eirini V. Pandi (University of Edinburgh)
More from the Same Authors
-
2021 : Type Inference as Optimization »
Eirini V. Pandi · Earl Barr · Andrew Gordon · Charles Sutton -
2021 : Program Synthesis »
AIPLANS 2021 -
2021 : Automatic Differentiation »
AIPLANS 2021 -
2021 : Neurosymbolic Systems and Reasoning »
AIPLANS 2021 -
2021 : Theorem Proving and Formal Mathematics »
AIPLANS 2021 -
2021 : Programming Languages Theory »
AIPLANS 2021 -
2021 : Poster Session »
AIPLANS 2021 -
2021 : Learning Adaptive Control Flow in Transformers for Improved Systematic Generalization - Róbert Csordás »
AIPLANS 2021 · Róbert Csordás -
2021 : Learning Rules with Stratified Negation in Differentiable ILP - Giri Krishnan »
AIPLANS 2021 · Giri Krishnan -
2021 : LazyPPL: laziness and types in non-parametric probabilistic programs - Hugo Paquet »
AIPLANS 2021 · Hugo Paquet -
2021 : Meta-Learning an Inference Algorithm for Probabilistic Programs - Gwonsoo Che »
AIPLANS 2021 · Gwonsoo Che -
2021 : Dependent Types for Machine Learning in Dex - David Duvenaud - University of Toronto »
David Duvenaud · AIPLANS 2021 -
2021 : When Gödel discovered Automatic Differentiation - Marie Kerjean - Centre national de la recherche scientifique »
AIPLANS 2021