Projects
Research software, open-source contributions, and formalizations.
RE-USE Apple
An independent Apple port of NVIDIA NemotronLabs RE-USE, with a shared Swift/MLX/Metal engine for a Mac CLI and an iPhone/iPad app target.
H-WavJEPA
Hierarchical audio representation research with three learned latent spaces, EMA targets, and a PyTorch Lightning + Hydra training workflow.
Cajal Compiler to Transformer Heads
Compiles typed Cajal-lite programs into programmed linear-attention heads and combines them with learned transformer components.
TEMF + WavJEPA-Nat (FiLM)
Speech-restoration research combining frozen WavJEPA-Nat features, FiLM conditioning, and TEMF mean-flow generation.
SMC Steering with Learned Twisting Functions
Inference-time language-model steering with learned twisting functions, importance weighting, and adaptive sequential Monte Carlo resampling.
20 inference steps 
RMFSR
An experimental MeanFlow speech-restoration implementation, with PyTorch models, training pipelines, and evaluation tools.
ELBO in Lean 4
A Lean 4 formalization of the evidence lower bound for finite, strictly positive distributions, including the ELBO decomposition.
LemmaScript
Contributor and maintainer of a verification toolchain for TypeScript, with Dafny and Lean 4 backends.