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 From Use to Oversight: How Mental Models Influence User Behavior and Output in AI Writing Assistants Shalaleh Rismani, Su Lin Blodgett, Q. Liao, Alexandra Olteanu, AJung Moon CHI '26 | April 2026
Publication Benchmarks and methods for 3D medical image retrieval Asma Ben Abacha, Alberto Santamaria-Pang, H. Lee, Jameson Merkow, Qin-Lei Cai, Surya Teja Devarakonda, A. Islam, Julia Gong, Matthew P Lungren, Reza Forghani, Alekh Jindal, Thomas Lin, Noel Codella, Ivan Tarapov Scientific Reports | April 2026
Publication TORA: Topological Representation Alignment for 3D Shape Assembly Nahyuk Lee, Zhiang Chen, Marc Pollefeys, Sung‐Jin Hong April 2026 arXiv | April 2026
Publication Quantifying Trust: Financial Risk Management for Trustworthy AI Agents Wenyue Hua, Tianyi Peng, Chi Wang, I. Kaufman, Bryan Lim, Chandler Fang April 2026 arXiv | April 2026
Publication Effects of Generative AI Errors on User Reliance Across Task Difficulty Jacy Reese Anthis, Hannah Cha, Solon Barocas, Alexandra Chouldechova, Jake Hofman April 2026 arXiv | April 2026
Publication MagicCopy: Bring my data along with me beyond boundaries of apps Priyan Vaithilingam, Elena L. Glassman, Nathalie Henry Riche, Gonzalo Ramos, Jeevana Priya Inala, Chenglong Wang April 2026 arXiv | April 2026
Publication Survey Protocol Cards for Crop Maps Akram Zaytar, Girmaw Abebe Tadesse, Caleb Robinson, Gilles Quentin Hacheme, Inbal Becker-Reshef, Rahul Dodhia, Juan M. Lavista Ferres IEEE Geoscience and Remote Sensing Letters | April 2026
Publication The Art of Building Verifiers for Computer Use Agents Corby Rosset, Pratyusha Sharma, Andrew Zhao, Miguel González-Fernández, Ahmed Awadallah 2026 COLM | April 2026
Publication FunFact: Building Probabilistic Functional 3D Scene Graphs via Factor-Graph Reasoning Zhengyu Fu, Ren'e Zurbrugg, Kaixian Qu, Marc Pollefeys, Marco Hutter, Hermann Blum, Z. Bauer April 2026 arXiv | April 2026