Publication I2VGuard: Safeguarding Images against Misuse in Diffusion-based Image-to-Video Models Dongnan Gui, Xun Guo, Wengang Zhou, Yan Lu CVPR 2025 | June 2025
Publication PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy 2025 Programming Language Design and Implementation | June 2025 Project
Publication Examining the Expanding Role of Synthetic Data Throughout the AI Development Pipeline Shivani Kapania, Stephanie Ballard, Alex Kessler, Jennifer Wortman Vaughan 8th ACM Conference on Fairness, Accountability, and Transparency (FAccT 2025) | June 2025
Publication When Testing AI Tests Us: Safeguarding Mental Health on the Digital Frontlines Sachin R. Pendse, Darren Gergle, Rachel Kornfield, Jonah Meyerhoff, David Mohr, Jina Suh, Annie Wescott, Casey Williams, Jessica Schleider June 2025
Publication Measuring Machine Learning Harms from Stereotypes: Requires Understanding Who is Being Harmed by Which Errors in What Ways Angelina Wang, Xuechunzi Bai, Solon Barocas, Su Lin Blodgett 2025 ACM Conference on Fairness, Accountability, and Transparency | June 2025
Publication Autoformalizing Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma June 2025 June 2025
Publication The Power of Migrations in Dynamic Bin Packing Konstantina Mellou, Marco Molinaro, Rudy Zhou ACM SIGMETRICS | June 2025 Project
Publication Auto-Test: Learning Semantic-Domain Constraints for Unsupervised Error Detection in Tables Qixu Chen, Yeye He (yeyehe), Raymond Chi-Wing Wong, Weiwei Cui, Song Ge, Haidong Zhang, Dongmei Zhang, Surajit Chaudhuri SIGMOD 2025 | June 2025
Publication From Elements to Design: A Layered Approach for Automatic Graphic Design Composition Jiawei Lin, Shizhao Sun, Danqing Huang, Ting Liu, Ji Li, Jiang Bian 2025 Computer Vision and Pattern Recognition | June 2025 Github
Publication Keeping Humans in the Loop: Human-Centered Automated Annotation with Generative AI Nick Pangakis, Sam Wolken International AAAI Conference on Web and Social Media | June 2025