Publication Explicit Rank Extractors and Subspace Designs via Function Fields, with Applications to Strong Blocking Sets Zeyu Guo, Roshan Raj, Chong Shangguan, Zihan Zhang April 2026 arXiv | April 2026
Publication Entanglement and circuit complexity in finite-depth random linear optical networks Laura Shou, Joseph T. Iosue, Yu-Xin Wang, V. Galitski, Alexey V. Gorshkov April 2026 arXiv | April 2026
Publication Rare Event Analysis via Stochastic Optimal Control Yuanqi Du, Jiajun He, Dinghuai Zhang, Eric Vanden-Eijnden, Carles Domingo-Enrich April 2026 arXiv | April 2026
Publication Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model Daniel O. Martínez-Rivillas, Arthur F. Ramos, Ruy J. G. B. de Queiroz April 2026 arXiv | April 2026
Publication Improving the Estimation of p K a Values for All Titratable Amino Acids at the Water/Membrane Interface N. Oliveira, Pedro BPS Reis, M. Machuqueiro The Journal of Physical Chemistry B | April 2026
Publication Artificial Intelligence and the Structure of Mathematics Maissam Barkeshli, Michael R. Douglas, Michael Freedman April 2026 arXiv | April 2026
Publication A Prime-Generated Formalization of Nagata’s Factoriality Theorem in Lean 4 A. Ramos, R. D. Queiroz, A. Oliveira April 2026 arXiv | April 2026
Publication Quotient-Space Diffusion Model Yixian Xu, Yusong Wang, Shengjie Luo, Kaiyuan Gao, Tianyu He, Di He, Chang Liu ICLR 2026 | April 2026
Publication Exergy-based pore-network optimization of gas diffusion layers for enhanced efficiency in proton exchange membrane fuel cells Sa′ed Rawashdea, M. Almajali, Ahmed Salem, Akram E. Zeid, Nathan Kawansson, D. Paterson ScienceDirect | April 2026
Publication Clock systems for stochastic and non-deterministic categorical systems theories Owen Lynch, David Jaz Myers, E. Rischel, Sam Staton March 2026 arXiv | March 2026
Research
Research