←

projects

• autoformalization of bbfm conjectures
• rlvr on sanskrit
• tubestack
• autoformalization of lda extended to the exponential family (arXiv)
• math comics i hung up at yale
• investigation of $\lambda_{\alpha}$ and $\mathcal{F}_n$ in singular learning theory (arXiv)
• lynbrook’s job shadow platform
• genalt