We don't just own the tools. We build them.
The technology team at TJC. We build software for private equity workflows.
Lean 4 formalization and reproducibility artifact: How Far Can Goemans's Cost Conjecture Fail? (rho(H*) = 2/(2*sqrt(2)-1), exact and not attained)
Dippin: a DSL for authoring AI pipeline workflows