Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
An Alexandrov Topology for Maximal Cohen-Macaulay Modules
Using the theory of cohomology annihilators, we define a family of topologies on the set of isomorphism classes of maximal Cohen-Macaulay modules over a Gorenstein ring. We study compactness of these topologies. With Mert Akdenizli, Baran Çetin, and Özgür Esentepe.
MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize
Formal theorem proving enables machine-verifiable evaluation of mathematical reasoning, yet existing benchmarks often emphasize aggregate proof accuracy, concentrate on a narrow range of mathematics, and provide limited evidence of robustness to equivalent reformulations. We introduce MathAdv, a diagnostic benchmark spanning 13 domains across undergraduate- and graduate-level mathematics. The dataset and evaluation scripts are available at this https URL. (With Jiaxin Yuan, Connor Martinez Lockhart, Xiaoyu Liu, Jiaqi Wang, Chenghao Deng, Xiayimei Han, Vlassis Mastrantonis, Dmitrii Gudin, Shaopeng Zhu, Abdirisak Mohamed, Jiewen Lang, Zezheng Song, Furong Huang.)
service
Co-organizer
Co-organized the Alternative Summer School, an unofficial summer school where each participant lectured about their favorite topic. Mine was algebraic geometry.
Undergraduate Assistant
Assistant for Graduate Algebra II, Fall 2022.
Grader
Grader for Introduction to Probability and Statistics for Computer Engineers, Fall 2022.
talks
Talk 1 on Relevant Topic in Your Field
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!