Proof kernels · geometric intelligence · semantic systems · adversarial verification
Enter the interactive research cosmos · Visit Dojo-1 · Explore the public repositories
I build public, inspectable systems at the boundary of mathematics, software, and machine intelligence. The interactive site maps the available work as a live hyperbolic constellation and links every named node to its repository.