Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.
-
University of Trento
- Trento, Italy
- @PietroMonticone
- @PietroMonticone
- @pietromonticone.bsky.social
Highlights
- Pro
Alireza♾️ 🐦🔥
alireza-baqeri
Front-End Developer | React & JavaScript Enthusiast |
I'm a computer engineering student at Shiraz University 🎓
|AI enthusiast |
Shiraz
Hamza Ba-mohammed
HamBa-m
R&D AI Engineer | PhD candidate in Adversarial Multi-Agent Reinforcement Learning
College of Computing - UM6P Benguerir - Morocco
Mike DuPont
jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km
discord account m1337d
@meta-introspector New Jersey
Emma Muhleman, CFA, CPA
EmmaMuhleman1
Sr. L/S Equity Analyst & Chief Quant Strategist at hedge fund; Built Systematic/Quant division at Ascend; Data Science Grad Student, Harvard & NYU
Ascend Investment Management LLC NYC
Kiran Varghese
kiranvarghesev
Robotics, Machine Learning, Deep Learning, NLP, Chatbots, Computer Vision, AI and Python
SCS Singapore
Zheng Yuan
GanjinZero
Ph.D. from THU Center of Statistical Science. Ex: Qwen. Focus on Alignment, Reasoning and Medical in NLP.
Beijing
Wei-Chen.Chen
chenweichen
Royal Holloway, University of London, UK
Computer Science,
MSc Computational Finance
&
National Chung Hsing University, Taiwan
MSc Applied Economics
Taiwan
Ahmad Samra
rehabaam
A physicist trying to make sense of a bit in a qubit universe.. 🧐.
Please excuse my for loops.. 🙃
Espoo
Emily 💞
emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
Dua
Dua-BA-07
👩💻I teach machines to read (NLP/OCR), and sometimes they even listen.
👩🎓Applied Math graduate
🚀Big fan of Python
🌍Open to all things STEM.
VERITAS_FUJI
veritasfuji-japan
Creator of VERITAS OS — a Proto-AGI Decision Operating System focused on
safe, reproducible, value-aligned reasoning loops for LLMs.
Building MemoryOS, WorldM
Ahmad Mesbah
AhmadMessbah
Software Developer
AI, Computer Vision
Tehran Institute of Technology Tehran
PreviousNext