Math, Inc. Autoformalization Projects
Three formalization results from my work at Math, Inc.
Reese Basses and the AM-GM Inequality
A short experiment in trigonometry and sound design.
Degrees of Sums of Algebraic Numbers in an Abelian Extension
Galois theory paper through Stanford's 2024 SURIM program.
Digital Signal Processing and VST Creation
My high school senior year independent study.