Posted 1 year ago
Locations
London, Australia
Description
We're trying to apply the insights of category theory, dependent type theory, and functional programming to deep learning. How do we best equip neural nets with strong inductive biases from these fields to help them reason in a structured way? Our upcoming ICML paper gives some flavor ; you can also watch ; but there is a lot more to say. If you are fluent in 2 or more of { category theory, Haskell (/Idris/Agda/...), deep learning }, you'll probably have a lot of fun with us! Check out our open positions at
Similar Jobs
-
traceoid.ai
traceoid.ai is revisiting the theory that underlies machine learning. Our approach opens up the door towards scalable energy-based models, faster and ...
-
Neural Magic
Neural Magic is a software company challenging the notion that specialized hardware like GPUs is needed for Deep Learning inference. We have created n...
-
Covariant
Our mission is to build the Covariant Brain, a universal AI to give robots the ability to see, reason, and act on the world around them. Bringing AI f...
-
AO Labs
AI systems struggle with edge cases and understanding local context despite increasing model sizes. From our research at UC Berkeley into the evolutio...
Create your own personalized Job Alert