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.
Sigma: Custom Programming Language
Custom programming language I developed in my senior year of high school.