CS prof

& founder

: creating data for the world’s hardest reasoning, from the chalkboard to the wet lab

Philadelphia, PA

Joined January 2019

Pinned
Friends, followers, and strangers on X, I recently got excited about mapping the jagged frontier of AI models in math and other STEM areas. With my colleague Prof. Rob Ghrist
@prof_g
, I founded Rabdos AI rabdos.ai to create original, research-level problems at
Are endpoint protection systems like CrowdStrike prepared for large-scale agentic workloads? My research group has been running 100's of codex agents in parallel on a machine this summer. The agents are not coordinating (or at least aren't supposed to): each works on an
Every year I take an international trip, I measure in-flight internet connectivity as an indicator of global technological progress. 2026 represents a *huge* step up in this measure, entirely single-handedly due to
@Starlink
. They have essentially solved this problem from 0 to 1.
Check out Rabdos Math Index! A holistic benchmark for math x AI that draws from our experience supplying math data to frontier AI labs over the last six months. Comprises graduate-level theorems formalized in Lean and checked by semantic rubrics, research-level problems with
Incredibly proud of PhDs #8, #9, and #10 -- congratulations Drs. Jiani Huang (
@jiani_huang_ai
), Aaditya Naik (
@aaditya_naik
), and Adam Stein (
@adamlsteinl
)! I am lucky and grateful for the privilege of working with the three of you!