AxiomMath
Users following AxiomMath
Rubén Ballester Bautista
rballeba
I do theorem proving at DL at Axiom Math. Also, I am a PhD student in Topological Deep Learning at Universitat de Barcelona
Universitat de Barcelona Spain
Dhruv Tyagi
Dhruv-0001
CTO - Secarc | @CERN - Summer Student | DevRel Intern @minuszero | GSoC'23 @RedHenLab | AI @SixthSens AI | Ex-Intern & scholar @siemens
CERN Geneva, Switzerland
Secret Uzbek
Secret-Uzbek
About Abdurashid Abdukarimov
Abdurashid Abdukarimov is an independent researcher, multilingual systems engineer and conceptual architect operating at the inter
AIUZ Terra CodeX Eco System Tashkent, Uzbekistan
Rohith Srinivaas M
rohithsrinivaas
Graduate Student Researcher @ UC Berkeley, Ex-Data Scientist. B.Tech & M.Tech, IIT Madras.
Berkeley Lab Berkeley, California, United States
SakuraEntropia
SakuraEntropia
Think different
计算机图形学爱好者
Nanyang Technological University Dalian,China
Jackson
notesplane
So many forks, not enough salad! A mixture of portfolio, experiments, and learning. Interests: web3, AI, software
Else Ventures Seoul
Youssef Kessentini
iCreatestaff
Interested in ML, Maths and Algorithm design.
MultiCom SARL Menzah 7, Ariana
PreviousNext