Co-Founder & CTO
"Building the engine that proves small models can punch above their weight class through rigorous mathematical verification."
Architecting the distributed validation layer for Lumis-1.