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.
Sigma: Custom Programming Language
Custom programming language I developed in my senior year of high school.
Digital Signal Processing and VST Creation
My high school senior year independent study.