.@symbolica_ai looking to hire 5+ PL/AI researchers. Great chance to work with ex-Apple/Tesla founders with seed funding and a deep technical background in databases and rewriting systems. Reach out if you are interested.

We are currently looking for researchers to join our founding team. If you have expertise in programming language theory, group theory, graph theory, geometric deep learning, term rewriting, or experience with theorem proving please don't hesitate to DM!

Symbolica is officially out of stealth! We're excited to announce the launch of our website: symbolica.ai More info coming soon...

We're very excited to announce our most recent work towards the next frontier of structured cognition in machines. Fantastic work by the Symbolica category theory team Bruno Gavranović and Paul Lessard. Also thanks for the extraordinary collab Petar Veličković Andrew Dudzik Tamara von Glehn @_joaogui1!

Vanilla deep learning is so 2010s. Did you start learning about *categorical* deep learning yet?! 🔥 with Bruno Gavranović Bruno Gavranović and Paul Lessard paul lessard and Tim Scarfe

Watch Symbolica Principle Scientist Dr. Paul Lessard talk about why category theory is the key to achieving a description of symbolic reasoning in machines and how we are using it to usher in a new era in machine learning.

NEW: Vinod Khosla Vinod Khosla is betting on a former Tesla autopilot engineer George Morgan, who quit to found Symbolica, which will build small AI models that can reason: “We love people coming from left field,” Khosla said in an exclusive chat with @fortune. fortune.com/2024/04/09/vin…

Does equivariance matter at scale? ... When the twitter discourse gets so tiring that you actually go out and collect EVIDENCE :D There has been a lot of discussion over the years about whether one should build symmetries into your architecture to get better data efficiency, or

Wrapped up an incredible 2024 at Symbolica, capped off with impressive end-of-year progress presentations from the London team.

By focusing on the categorical semantics of machine learning models we are able to take generalizable and principled approaches to many problem domains.

We have several exciting state of the art research programs in progress and we are currently hiring for on-site roles in our London research lab. careers.symbolica.ai

Big congrats to Cartwheel, Moonvalley, Skyflow, Symbolica & Waabi for landing on the CB Insights AI 100! 🔥 Pushing AI innovation from data privacy to autonomous vehicles. #AI100 cbinsights.com/research/repor…

Wrapped up a fantastic day at the Oxford University Career Fair! 🎓 Loved chatting with so many brilliant grads about the blend of pure math and AI – and how they can help shape that journey with us. We'll also be at the Cambridge Graduate Jobs Fair on 24 June – come say hi 👋