6 ms·
Symbolica.ai | London, Australia | REMOTE, INTERNS, VISA We're trying to apply the insights of category theory, dependent type theory, and functional programmi
by taliesinb 2y ago
Symbolica.ai | London, Australia | REMOTE, INTERNS, VISA
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 https://arxiv.org/abs/2402.15332 https://arxiv.org/abs/2402.15332 ; you can also watch https://www.youtube.com/watch?v=rie-9AEhYdY&t=387s https://www.youtube.com/watch?v=rie-9AEhYdY&t=387s ; 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 https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-4052-ba18-e859d461808c https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-405...
- tasuki 2y agoCrazy! This sounds very fun. I don't have the time nor the mental capacity, but I'm envious!
- kibibu 2y agoIt's a shame that the word categorical has already been applied to deep learning (categorical deep q networks a.k.a. C51, and Rainbow), because yours is arguably a more natural use of the name.
- sbrother 2y agoOh man, I am not looking to switch companies right now, but this sounds amazing. I'll be following you guys. Also: I could swear I saw you comment on something Mathematica related a long time ago. Is there a Wolfram connection here?
- taliesinb 2y agoIn another life!
- ligthning 2y agoHow demanding is this for someone self taught CT up until Natural Transformations and dabbles a bit on other more common CT constructions (SCMC Categories & Co), F-Algebras ? I do have quite some experience with Haskell and Theorem Provers and this sounds super fun but also all the fancy keywords scare me as I am not super into ML/DeepLearning nor have a PhD (only a MSc in SWEng). Is there room for learning on the job?
- taliesinb 2y agoYes, get in touch with me.
- _lurker 2y agoHi, I tick the three elements in the set (my last Haskell was a few years ago, though). I opened the link last week and saw some positions in London (and Australia, for that matter) and now there aren't any positions showing there (just a couple ones in California). Is it a glitch, or have you fulfilled all positions outside California already?