Highlights
- Pro
-
complexity-distributions Public
An illustrated paper on why lognormal fits Quicksort comparison counts better than normal but misses their limiting distribution.
github-pages quicksort mathematics data-visualization probability-distributions algorithm-analysis research-paperHTML UpdatedOct 2, 2026 -
correlation-reduction Public
A five-page paper linking dependence change, mechanical work, and an optomechanical test.
information-theory thermodynamics mutual-information nonequilibrium-physics optomechanics coupled-oscillatorsPython UpdatedSep 26, 2026 -
semantic-boolean-complexity Public
Prediction-calibrated analytic bounds with an application to exact Boolean formula complexity.
machine-learning reproducible-research logic-synthesis computational-complexity conformal-prediction boolean-functions exact-synthesisPython MIT License UpdatedSep 23, 2026 -
leandojo-experiments Public
Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation.
machine-learning theorem-proving proof-assistant lean formal-methods automated-theorem-proving lean4Python MIT License UpdatedSep 21, 2026 -
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 MIT License UpdatedSep 14, 2026 -
aerostat Public
An interactive OpenSky aircraft globe with mathematical analysis of geodesic deviation patterns across live flight paths.
aviation machine-learning geodesic statistical-modeling mathematical-modeling opensky-network openskyPython UpdatedSep 10, 2026 -
compatible-histories Public
Relational complexity, invariant measures, and compatible-history cosmology
TeX UpdatedSep 7, 2026 -
energy-recommender-research Public
Behavioral embeddings improve energy-program propensity prediction and ranking; propensity neighborhoods add modest calibration benefits.
machine-learning reproducible-research calibration recommender-systems uncertainty-quantification energy-efficiency propensity-modelingPython UpdatedSep 3, 2026 -
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 latex reproducible-research mathjax discrete-mathematics constraint-programming combinatoricsPython UpdatedAug 15, 2026 -
dependency-geometry Public
Linear vs. parallelized dependency structures and their information theoretic geometry.
Python UpdatedJul 26, 2026 -
sorting-as-gradient-flow Public
A continuous-time geometric formulation of sorting as gradient flow on the permutohedron.
sorting geometry discrete-mathematics theoretical-computer-science gradient-flow complexity-theory permutohedronJupyter Notebook UpdatedJul 23, 2026 -
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.
algorithms recursion theoretical-computer-science theoretical-physics inverse-problems mathematical-physics recursive-algorithmsPython UpdatedJul 23, 2026 -
dilution-regularization Public
Feature Viability and Probability Mass Dilution in Random Forests and Neural Nets.
HTML UpdatedJul 13, 2026 -
A Fourier-Domain Analysis of Black Hole Images for Photon-Ring Inference.
TeX MIT License UpdatedMay 12, 2026 -
Reproducible experiments and papers for a geometric-residual/statistical-learning framing of the galaxy missing-mass problem, including SPARC rotation-curve residual diagnostics and masked dictiona…
machine-learning matrix-factorization astrophysics sparc inverse-problems residual-learning dark-matterPython UpdatedMay 4, 2026 -
continuous-computation Public
A mathematical and thermodynamic framework for understanding when continuous physical processes can support stable, predictive symbolic computation through coarse-graining.
computer-science physics information-theory theoretical-computer-science discrete-analysis continuous-computationHTML UpdatedApr 7, 2026 -
seatgeek-beta-modeling Public
A research-driven analysis of dynamic ticket pricing, modeling distributions with scaled Beta estimates derived from limited statistics (min, max, mean, median). The approach enriches Random Forest…
