|
LeMMA: Learning Math by Meta-Adaptation
Meta-adaptation framework for theorem-proving LLMs to self-synthesize domain-specific data at inference time.
|
|
Vital Cue
Voice and AI-powered platform for patient care documentation. Built for EMS. Acquired by First Due.
|
|
XiaoPrompt
Prompt distillation and translation API to optimize token efficiency. Winner at HackMIT.
|
|
AgenTeX
Cursor for LaTeX. Winner at AgentOps x Stanford Hackathon.
|
Bertrand's Postulate
A proof there is always a prime between n and 2n. Bored on an airplane.
|
|
Derangements and Rubik's Cubes
Highlighting Burnside's lemma and applications to group derangements and Rubik's cubes.
|
|
Probabilistic Estimation of Prime Number Density
Constructing a Bayesian primality test building on ideas from Fermat's Little Theorem.
|