1<!DOCTYPE html> 2<html lang="en" data-baseurl=""> 3 <head> 4 <meta charset="utf-8" /> 5 <meta name="viewport" content="width=device-width, initial-scale=1" /> 6 <meta name="theme-color" content="#4c3520" /> 7
7<script> 8 (function () { 9 var KEY = 'site.time-theme', m; 10 try { m = localStorage.getItem(KEY); } catch (e) {} 11 if (['day','dusk','night'].indexOf(m) < 0) { 12 var h = new Date().getHours() + new Date().getMinutes() / 60; 13 m = (h >= 7 && h < 16) ? 'day' : ((h >= 16 && h < 19.5) || (h >= 5 && h < 7)) ? 'dusk' : 'night'; 14 } 15 document.documentElement.setAttribute('data-time', m); 16 })(); 17 </script>
17 18 <title>Research · Michael R. Zeng æ½è¥å¡</title> 19 <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;0,700;1,400;1,600&family=Cormorant+Garamond:wght@600;700&family=Zen+Old+Mincho:wght@400;500;700&family=Noto+Serif+JP:wght@400;500;700&family=Noto+Serif+SC:wght@400;500;700&display=swap"> 20 <link rel="stylesheet" href="/assets/css/main.css?v=1790099725" /> 21 <!-- Begin Jekyll SEO tag v2.8.0 --> 22<title>Research | Michael R. Zeng æ½è¥å¡</title> 23<meta name="generator" content="Jekyll v3.10.0" /> 24<meta property="og:title" content="Research" /> 25<meta name="author" content="Michael R. Zeng" /> 26<meta property="og:locale" content="en_US" /> 27<meta name="description" content="Graduate student in mathematics, University of Washington" /> 28<meta property="og:description" content="Graduate student in mathematics, University of Washington" /> 29<link rel="canonical" href="https://zengrf.github.io/research/" /> 30<meta property="og:url" content="https://zengrf.github.io/research/" /> 31<meta property="og:site_name" content="Michael R. Zeng æ½è¥å¡" /> 32<meta property="og:type" content="website" /> 33<meta name="twitter:card" content="summary" /> 34<meta property="twitter:title" content="Research" /> 35<meta name="twitter:site" content="@" /> 36<meta name="twitter:creator" content="@Michael R. Zeng" />
37<script type="application/ld+json"> 38{"@context":"https://schema.org","@type":"WebPage","author":{"@type":"Person","name":"Michael R. Zeng"},"description":"Graduate student in mathematics, University of Washington","headline":"Research","publisher":{"@type":"Organization","logo":{"@type":"ImageObject","url":"https://zengrf.github.io/assets/img/avatar.png"},"name":"Michael R. Zeng"},"url":"https://zengrf.github.io/research/"}</script>
38 39<!-- End Jekyll SEO tag --> 40 41
41<script> 42 window.MathJax = { 43 tex: { 44 inlineMath: [['$', '$'], ['\\(', '\\)']], 45 displayMath: [['$$', '$$'], ['\\[', '\\]']], 46 processEscapes: true 47 }, 48 options: { 49 skipHtmlTags: ['script', 'noscript', 'style', 'textarea', 'pre', 'code'] 50 } 51 }; 52 </script>
52 53
53<script async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
53 54 </head> 55 <body class="site-body"> 56 <header class="site-header"> 57 <div class="eave" aria-hidden="true"></div> 58 <div class="container"> 59 <a class="brand" href="/"> 60 <span class="brand__title">Michael R. Zeng æ½è¥å¡</span> 61 <span class="brand__subtitle" data-i18n="brand.subtitle">Graduate student in mathematics</span> 62 </a> 63 <nav class="site-nav" aria-label="Primary navigation" data-i18n-aria="ui.navigation"> 64 <button class="nav-toggle" aria-expanded="false" aria-controls="nav-links" data-i18n="ui.menu">Menu</button> 65 <ul id="nav-links"> 66 67 68 <li class=""> 69 <a href="/" data-i18n="nav.home">Home</a> 70 </li> 71 72 73 <li class="active"> 74 <a href="/research/" data-i18n="nav.research">Research</a> 75 </li> 76 77 78 <li class=""> 79 <a href="/teaching/" data-i18n="nav.teaching">Teaching</a> 80 </li> 81 82 83 <li class=""> 84 <a href="/notes/" data-i18n="nav.notes">Notes</a> 85 </li> 86 87 </ul> 88 </nav> 89 </div> 90 </header> 91 92 <main class="site-main" id="main"> 93 <div class="container frame"> 94 <div class="ranma-wrap" aria-hidden="true"><div class="ranma"></div></div> 95 96 97 98<section class="section"> 99 <h2 data-i18n="research.title" id="research">Research</h2> 100 101<figure> 102 <img src="/assets/img/spanning%20lines.png" alt="Spanning lines" data-i18n-alt="research.figure.alt" /> 103 104 <figcaption data-i18n="research.figure.caption">A spanning line configuration, made with <a href="https://www.vzome.com/">vZome</a>. 105</figcaption> 106 107</figure> 108 109<h3 data-i18n="research.interests" id="research-interests">Research Interests</h3> 110 111<p data-i18n="research.intro">I am interested in Schubert calculus, intersection theory on moduli stacks, and enumerative geometry. I am also interested in using machine learning and artificial intelligence to facilitate mathematical discoveries.</p> 112 113<p data-i18n="research.topics">Some of the things I like to think about recently include lines on quartic surfaces, the $K_0$-ring of some moduli stacks, nef divisors on $\overline{\mathscr{M}}_{g,n}$, line bundles of toric varieties, and moduli of stable maps.</p> 114 115<h3 data-i18n="research.publications" id="publications--preprints">Publications & Preprints</h3> 116 117<h4 data-i18n="publications.pure-math">Pure Mathematics</h4> 118<ol reversed="" class="publications"> 119 120 <li>Oriented Cohomology Rings of Some Moduli Spaces via Blowups, with Arkamouli Debnath. 2026. <a href="https://arxiv.org/abs/2604.14536">arXiv:2604.14536</a>. 121</li> 122 123 <li>The Grothendieck group of the variety of spanning line configurations. 2025. <a href="https://arxiv.org/abs/2512.22769">arXiv:2512.22769</a>. 124</li> 125 126 <li>$C_p$-Mackey Functors in Macaulay2, with Thomas Brazelton, David Chan, Benjamin Mudrak, Ben Spitz, Chase Vogeli, Chenglu Wang, and Sasha Zotine. 2025. Accepted by <em>Journal of Software for Algebra and Geometry</em>. <a href="https://arxiv.org/abs/2509.05456">arXiv:2509.05456</a>. 127</li> 128 129 <li>Brackets and Projective Geometry in Macaulay2, with Dalton Bidleman, Timothy Duff, and Jack Kendrick. 2025. <a href="https://arxiv.org/abs/2504.00889">arXiv:2504.00889</a>. 130</li> 131 132 <li>Appendix in: M. Harada and M. Precup, âTorus fixed point sets of Hessenberg Schubert varieties in regular semisimple Hessenberg varieties.â <em>Osaka Journal of Mathematics</em> <strong>60</strong> (2023), 637â652. <a href="https://arxiv.org/abs/2112.13250">arXiv:2112.13250</a>. 133</li> 134 135</ol> 136 137<h4 data-i18n="publications.ai-math">AI for Mathematics</h4> 138<ol reversed="" class="publications"> 139 140 <li>Alternating Groups and Embeddings into Groups Invariably Generated by Two Prime-Order Elements, with Ting Gong and Yong Yang. 2026. <a href="https://arxiv.org/abs/2608.00703">arXiv:2608.00703</a>. 141</li> 142 143 <li>Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration, with Ting Gong and Yong Yang. 2026. <a href="https://arxiv.org/abs/2607.27705">arXiv:2607.27705</a>. 144</li> 145 146 <li>FactorLibrary: From Polynomials to Circuits via Recursive Subgoals, with Rohan Pandey, Weikun K. Zhang, Kaijie Jin, Na
146omi Morato, Archit Ganapule, Bhaumik Mehta, and Jarod Alper. In <em>3rd AI for Math Workshop (ICML 2026): Toward Self-Evolving Scientific Agents</em>. <a href="https://arxiv.org/abs/2606.25394">arXiv:2606.25394</a> · <a href="https://openreview.net/forum?id=2yIetdPvQh">OpenReview</a>. 147</li> 148 149 <li>CircuitBuilder: From Polynomials to Circuits via Reinforcement Learning, with Weikun K. Zhang, Rohan Pandey, Bhaumik Mehta, Kaijie Jin, Naomi Morato, Archit Ganapule, and Jarod Alper. In <em>ICLR 2026 Workshop on AI with Recursive Self-Improvement</em>. <a href="https://arxiv.org/abs/2603.17075">arXiv:2603.17075</a>. 150</li> 151 152</ol> 153 154<h4 data-i18n="publications.ai-languages">AI for Languages</h4> 155<ol reversed="" class="publications"> 156 157 <li>Quantitative Orthographic Analysis of the Ogura Shikishi, with Paul S. Atkins. <em>manuscript cultures</em> <strong>26</strong>.1 (2026), 1â60. <a href="https://doi.org/10.15460/s8e93666">doi:10.15460/s8e93666</a>. 158</li> 159 160 <li>Jibo-labeled classical hiragana image dataset, with Herman Chau and Paul S. Atkins. Zenodo, 2026. <a href="https://doi.org/10.5281/zenodo.18765466">doi:10.5281/zenodo.18765466</a>. 161</li> 162 163 <li>Deriving Orthographic Data from Classical Japanese Texts with Machine-Learning Methods, with Herman Chau and Paul Atkins. In <em>Proceedings of IPSJ SIG Computers and the Humanities</em>, 2025. Jinmoncom 2025 Best Paper Award (ãããããã2025 åªç§è«æè³) & Student Encouragement Award (å¦ç奨å±è³). <a href="https://hdl.handle.net/1773/55355">URI: hdl.handle.net/1773/55355</a>. 164</li> 165 166</ol> 167 168 169</section> 170 171 172 </div> 173 </main> 174 175 <footer class="site-footer"> 176 <div class="container"> 177 <button class="time-toggle" type="button" aria-label="Theme: auto. Click to change."> 178 <span class="time-icon" aria-hidden="true"></span> 179 </button> 180 <div class="lang-overlay" id="lang-overlay" aria-hidden="true"> 181 <button class="lang-toggle" aria-controls="lang-overlay" aria-expanded="false" aria-label="Change language" data-i18n-aria="ui.language"> 182 <span class="lang-current">English</span> 183 </button> 184 <ul class="lang-list"> 185 <li><button type="button" data-lang="en" class="lang-option">English</button></li> 186 <li><button type="button" data-lang="zh-Hans" class="lang-option">ç®ä½ä¸æ</button></li> 187 <li><button type="button" data-lang="ja" class="lang-option">æ¥æ¬èª</button></li> 188 </ul> 189 </div> 190 <p data-i18n="footer.copyright">© Michael R. Zeng æ½è¥å¡ · 2026 · Seattle, WA</p> 191 </div> 192 </footer> 193 194
194<script> 195 const toggle = document.querySelector('.nav-toggle'); 196 const navList = document.getElementById('nav-links'); 197 if (toggle && navList) { 198 toggle.addEventListener('click', () => { 199 const expanded = toggle.getAttribute('aria-expanded') === 'true'; 200 toggle.setAttribute('aria-expanded', String(!expanded)); 201 navList.classList.toggle('open'); 202 }); 203 } 204 </script>
204 205
205<script src="/assets/js/theme.js?v=1790099725"></script>
205 206
206<script src="/assets/js/lang.js?v=1790099725"></script>
206 207
207<script src="/assets/js/enhancements.js?v=1790099725"></script>
207 208 </body> 209</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.