Ephemaral

Verify the code you generate. Mathematically proven. Automatically.

Wristband Gaussian Loss: From $O(N^2)$ to $O(N)$

Faster computation of the repulsion term with spherical harmonics.

Wristband Gaussian Loss: Formalization and Proof

Formalization and proof that a Gaussian regularizer is correct.

daseinn.com

Synthetic users that simulate your product funnels.

Viability Kernels for Non-Linear Systems

Work from my MSc Thesis published at ICINCO 2018.