Publication A Prime-Generated Formalization of Nagata’s Factoriality Theorem in Lean 4 A. Ramos, R. D. Queiroz, A. Oliveira 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
Publication Enabling ab initio geometry optimization of strongly correlated systems with transferable deep quantum Monte Carlo P. Szab'o, Zeno Schatzle, Frank Noé March 2026
Publication Modeling Adversarial Wildfires for Power Grid Disruption M. Brun, Xin Sun, Jean-Paul Watson March 2026
Publication MM-SCALE: Grounded Multimodal Moral Reasoning via Scalar Judgment and Listwise Alignment Eunkyu Park, Wesley Deng, Cheyon Jin, Matheus Kunzler Maldaner, J. Wheeler, Jason I. Hong, Hong Shen, Adam Perer, Kenneth Holstein, Motahhare Eslami, Gunhee Kim ArXiv | February 2026, Vol abs/2602.03665
Publication From Abstract to Contextual: What LLMs Still Cannot Do in Mathematics Bowen Cao, Dongdong Zhang, Yixia Li, Junpeng Liu, Shijue Huang, Chufan Shi, Hongyuan Lu, Yaokang Wu, Guanhua Chen, Wai Lam, Furu Wei ICLR 2026 | January 2026
Research