Arvind Puthucode

Projects

Pinned repositories and selected work.

MiniAxiom
Toward reducing theorems to group theory + automated proofs.
OptimalExecutionModels
L2 order book simulation and execution research.
VentureInsights-Backend
IntersectX backend (fork).
VentureInsights-Frontend
IntersectX frontend (fork).