Pinned Loading

1. leandojo-experiments leandojo-experiments Public

   Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation.

   Python

2. aerostat aerostat Public

   An interactive OpenSky aircraft globe with mathematical analysis of geodesic deviation patterns across live flight paths.

   HTML

3. finite-response-kernels finite-response-kernels Public

   A small research program on finite-response kernels, takeoff kernels, and the finite shape of mediated response across physical, recursive, and inverse systems.

   Python

4. sorting-as-gradient-flow sorting-as-gradient-flow Public

   A continuous-time geometric formulation of sorting as gradient flow on the permutohedron.

   Jupyter Notebook

5. hadamard-analysis hadamard-analysis Public

   Experiments and short papers on how global Hadamard constraints yield predictable regional structure—and why that signal does not automatically become an effective exact-search policy.

   Python

6. jacobian-velocity-bounds jacobian-velocity-bounds Public

   A geometric theory-and-experiments repo showing how deployment risk under covariate drift is governed by the interaction between data motion and model tangent sensitivity.

   Python