Loading activity…
@sharonal_lee
Cofounder @Moonlake, building world models; prev. Stanford CS PhD and Knight-Hennessy Scholar
AI
Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.
XAI
A user says their agent considers geometry, materials, colliders and articulation, and calibrates physics against real-world trajectories.
