Jason Jackson
MachineKomi
I am a professional working with data and ML/AI. In my free time I study ML/AI and develop games with the help of AI. I also enjoy playing go/baduk.
United Kingdom
Wesley Scholl
konjoinfinity
Front End Engineer | Mobile Engineer | Full Stack Developer | Crypto & Blockchain Consultant | IT Solutions Expert
Washington, DC
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen