Filippo A. E. Nuccio
faenuccio
I am Associate Professor (Maître de Conférences HDR) in Pure Mathematics in Saint-Étienne, France. My research focuses on formalising mathematics in Lean.
Université Jean-Monnet Saint-Étienne, France
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Fabrizio Montesi
fmontesi
Professor of Computer Science, Danish Institute for Advanced Study (DIAS) and University of Southern Denmark
Danish Institute for Advanced Study / University of Southern Denmark / italianaSoftware s.r.l.
Markus Ferdinand Dablander
MarkusFerdinandDablander
Research Mathematician | Recent Doctoral Graduate, Mathematical Institute, University of Oxford | Theoretical & Applied AI, Machine Learning & Data Science
Marco Perugini
theperu
QA Software Engineer | CS Student @ University of Pisa
Iubenda Trequanda, Tuscany
Devinterview-io
A curated list of interview essentials covering full-stack, data structures, software architecture, data science and machine learning.
jamwithai
Your go-to source for real-world insights on Data Science, Machine Learning, LLMs, and MLOps. 🚀
Berlin, Germany
The Algorithms
TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language
India
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Pietro Monticone
pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.
University of Trento Trento, Italy
Atefe Hassani
HassaniAtefe
M.Sc. in Biomedical Engineering
Interested in multi-modal LVLMs and their applications in medical imaging :)
Iran
Cristiano De Nobili
denocris
Lead AI Scientist,
Deep Learning RS, NLP Lecturer,
PhD in Theoretical Physics (SISSA, Trieste),
Civil Pilot (PPL), TEDx speaker.
Pi School Milan
Pi School - Artificial Intelligence Programme
PiSchool
School of Artificial Intelligence - Pi School
Rome, Italy