machine learning engineer, programmer, and mathematician: former Topos and Synthetic Differential Geometry theorist.medium.com/@corba77 Lincoln Park, NJJoined May 2009
We started releasing the first chapters of our Geometric Deep Learning book and the accompanying slides from the corresponding Oxford and Cambridge courses.
We started releasing the first chapters of our Geometric Deep Learning book and the accompanying slides from the corresponding Oxford and Cambridge courses.
Been looking forward to this one! It has a convoluted story: from @bgavran3’s theoretical work on parametrised optics, then @lotz84_’s Haskell implementation demoing a 3-layer perceptron learning xor with a blog post in Japanese, and now @tangled_zans ported it to Idris… (1/2)
Been looking forward to this one! It has a convoluted story: from @bgavran3’s theoretical work on parametrised optics, then @lotz84_’s Haskell implementation demoing a 3-layer perceptron learning xor with a blog post in Japanese, and now @tangled_zans ported it to Idris… (1/2)
And the Bibby Zone is back!
This time we're starting from the very beginning, with a gentle introduction to recursion schemes in Idris.
zanzix.github.io/posts/3-rec-id…
We just dropped our conversation with Dr. Paul Lessard from @symbolica - Paul and his collaborators have written a paper on "Categorical Deep Learning and Algebraic Theory of Architectures". They aim to make neural networks more interpretable, composable and amenable to formal…
Announcing Collimator 2.0!!!
New features:
* Powered by JAX
* Generative AI
* AutoDifferentiation
* PID AutoTune
* SINDy blocks
* Model Predictive Control
* Real-Time Collaboration
* Hardware in the Loop
Kudos to the amazing team @CollimatorAI
Try it @ collimator.ai
My PhD Thesis is now available to read!
It presents a mathematical foundation for neural networks that is end-to-end, uniform, and prescriptive.
I'm incredibly excited about it.
You can find it at brunogavranovic.com/assets/Fundame…
and summarised at the following blog post…
Category Theory ∩ Machine Learning
I made a graph of the cumulative number of papers through time.
I suspect 2012 isn't the year the first relevant paper appeared, but I can't find anything predating it.
If you are interested in differential geometry but are not able to attend this seminar, I can't recommend enough this course from Frederic Schuller:
📽️youtube.com/playlist?list=…
If you are interested in differential geometry but are not able to attend this seminar, I can't recommend enough this course from Frederic Schuller:
📽️youtube.com/playlist?list=…
3K Followers 1K FollowingPostdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
13K Followers 7K FollowingProgramme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
4K Followers 3K FollowingMathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
822 Followers 128 FollowingVectorize makes it easy to turn your unstructured data into always-up-to-date vector data to power your generative AI applications.
203 Followers 413 FollowingData Scientist @Microsoft. Former PhD student in AI @MIT_CSAIL interested in Bayesian inference and deep learning. @UofT EngSci alum. Author.
17 Followers 588 FollowingMEXC focuses on financial management, stocks, cryptocurrencies, digital assets and investments. Currently, new users can get free dollars when they sign up.
293 Followers 293 FollowingLecturer in Mathematics@UOE Mathematical sciences department 🌟🌟🌟 mum of 3 prodigious and a wife to one of the greatest men in the world!
711K Followers 718 FollowingProfessor at NYU. Chief AI Scientist at Meta.
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
4K Followers 786 Following🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
3K Followers 1K FollowingPostdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
979K Followers 905 Following🧑🍳. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets 🧠🤖💥
9K Followers 0 FollowingMathematician learning Lean and trying to teach it to others. Now gone to Mathstodon (March 2023). No longer reading or replying to mentions.
67K Followers 264 FollowingDistinguished Scientist at Google Research. Computational Imaging, Machine Learning, and Vision. Tweets = personal opinions. May change or disappear over time.
175K Followers 89 FollowingThe original AI alignment person. Missing punctuation at the end of a sentence means it's humor. If you're not sure, it's also very likely humor.
13K Followers 7K FollowingProgramme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
3K Followers 619 FollowingНезависимый наблюдатель за выборами. Дата-аналитик. Сопредседатель Голос 2013-2023 гг. Экс-политзаключенный. Патриот свободной процветающей европейской России.
25K Followers 2K FollowingBren Professor @caltech, Fmr Sr Director of #AI research @nvidia, Fmr Principal Scientist @awscloud, AI+Science, PDE, Neural operators. Views my own.
2K Followers 576 FollowingResearcher at @GoogleDeepMind. PhD student at @VectorInst / @UofT. Building tools to study neural nets and find out what they know. He/him.
1K Followers 101 FollowingInstitute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
859 Followers 2K FollowingData Scientist at @PNNLab. Formerly at @KU_Leuven, @ClimateChangeAI. Differentiable programming, control theory, and constrained optimization via #SciML #PIML.
1K Followers 503 FollowingGeorgia Tech ML Researcher studying neural network learning theory and LLMs for mathematical reasoning. Intern at FAIR, MSFT Research. Co-founder of CarperAI.
7K Followers 2K FollowingPrincipal researcher at Microsoft Research Amsterdam. Formerly at Google Brain and University of Amsterdam. PhD in condensed matter physics.
33 Followers 48 FollowingISS Art is a custom software development company. We provide a unique solution according to the customer’s business objectives.
63K Followers 24 FollowingThe way to connect LLMs to your data.
Github: https://t.co/HC19j7vMwc
Docs: https://t.co/QInqg2zksh
Discord: https://t.co/3ktq3zzYII
https://t.co/UXeIlwvvbA
32K Followers 1 FollowingAutomated bot tweeting trending Rust repositories on GitHub. Not an official @github or @rustlang product. Made by @pbzweihander_rs, but not curated by.
32K Followers 192 FollowingRust live-coder and OSS tinkerer who loves teaching. I try to keep a high SNR. Wrote Rust for Rustaceans. At @HelsingAI. Ex AWS. Co-founded @readysetio. he/him
18K Followers 2 FollowingThe future of AI development starts here. Sign up to our 📪 Newsletter → https://t.co/gpuHGRyHTs. We are hiring → https://t.co/cPTAes0HMt 🚀
14K Followers 2K FollowingRust / backend dev / org design / climate. Baking on the good days.
Author of https://t.co/WDxzUHAAe6.
Building https://t.co/YMfw1oaHIi, a new Rust web framework.
492 Followers 403 FollowingQuantitative psychologist and applied statistician interested in time-dependent systems. Assistant Professor in QuantDev @penn_state.