abdel

6.3KFollowing1Top Followers31.4KTotal Followers

BIO

Head of Applied AI & Verifiable Intelligence @StarkWareLtd. STARK proofs, AI Safety, World Models & Physical AI / Robotics. Math scale, Goodwill doesn't.

@AbdelStark

@abdelstark

Top followers

#854

John Yang

@jyangballin

CS PhD @Stanford. Created @SWEbench (multi-lingual/modal); SWE-agent; SWE-smith; InterCode; CodeClash; ProgramBench 🆕