Theorem
Users following theorem-labs
Sam Kouteili
SamKouteili
Computer Science PhD Student @ Yale.
Interested in automated reasoning and computer music.
New Haven
Raja Umer Saleem
RajaUmerSaleem
🎓 BSCS UET | 💻 Contextual Chatbot development | 🗃️ SQL |✍️ Author & 🎤 Public Speaker | MERN Stack Web Developer
UET Lahore Lahore, Pakistan
Sudhanshu Kasewa
skasewa
Click on "following" or "Stars" for some leads on AI safety relevant repositories and contributors
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
Nicolas Amat
nicolasAmat
Research Scientist at ONERA, The French Aerospace Lab | Participant in the Model Checking Contest
ONERA, The French Aerospace Lab Toulouse, France
Mike Staub
mikestaub
Principal Software Engineer: graphics, web, robotics, cloud, AI
Code Crafters San Francisco, CA
Monarch
MonarchGitHub
Chaotic Evil CS undergrad
|| Fullstack Dev || spectreseek @buildspace ||
Try. Fail. Tweak. Repeat.
India