Acuna, David

24 publications

ICLR 2026 Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

CVPR 2025 Can Large Vision-Language Models Correct Semantic Grounding Errors by Themselves? Yuan-Hong Liao, Rafid Mahmood, Sanja Fidler, David Acuna

NeurIPS 2025 Prismatic Synthesis: Gradient-Based Data Diversification Boosts Generalization in LLM Reasoning Jaehun Jung, Seungju Han, Ximing Lu, Skyler Hallinan, David Acuna, Shrimai Prabhumoye, Mostofa Patwary, Mohammad Shoeybi, Bryan Catanzaro, Yejin Choi

ECCV 2024 Photorealistic Object Insertion with Diffusion-Guided Inverse Rendering Ruofan Liang, Zan Gojcic, Merlin Nimier-David, David Acuna, Nandita Vijaykumar, Sanja Fidler, Zian Wang

ICLR 2024 Transferring Labels to Solve Annotation Mismatches Across Object Detection Datasets Yuan-Hong Liao, David Acuna, Rafid Mahmood, James Lucas, Viraj Uday Prabhu, Sanja Fidler

TMLR 2023 Bridging the Sim2Real Gap with CARE: Supervised Detection Adaptation with Conditional Alignment and Reweighting Viraj Uday Prabhu, David Acuna, Rafid Mahmood, Marc T. Law, Yuan-Hong Liao, Judy Hoffman, Sanja Fidler, James Lucas

ICCV 2023 DreamTeacher: Pretraining Image Backbones with Deep Generative Models Daiqing Li, Huan Ling, Amlan Kar, David Acuna, Seung Wook Kim, Karsten Kreis, Antonio Torralba, Sanja Fidler

AISTATS 2022 Complex Momentum for Optimization in Games Jonathan P. Lorraine, David Acuna, Paul Vicol, David Duvenaud

ICLR 2022 Domain Adversarial Training: A Game Perspective David Acuna, Marc T Law, Guojun Zhang, Sanja Fidler

NeurIPSW 2022 How Many Trained Neural Networks Are Needed for Influence Estimation in Modern Deep Learning? Sasha Doubov, Tianshi Cao, David Acuna, Sanja Fidler

CVPR 2022 How Much More Data Do I Need? Estimating Requirements for Downstream Tasks Rafid Mahmood, James Lucas, David Acuna, Daiqing Li, Jonah Philion, Jose M. Alvarez, Zhiding Yu, Sanja Fidler, Marc T. Law

ECCV 2022 Neural Light Field Estimation for Street Scenes with Differentiable Virtual Object Insertion Zian Wang, Wenzheng Chen, David Acuna, Jan Kautz, Sanja Fidler

ICML 2021 F-Domain Adversarial Learning: Theory and Algorithms David Acuna, Guojun Zhang, Marc T. Law, Sanja Fidler

NeurIPS 2021 Scalable Neural Data Server: A Data Recommender for Transfer Learning Tianshi Cao, Sasha Doubov, David Acuna, Sanja Fidler

NeurIPS 2021 Towards Optimal Strategies for Training Self-Driving Perception Models in Simulation David Acuna, Jonah Philion, Sanja Fidler

CVPR 2020 Neural Data Server: A Large-Scale Search Engine for Transfer Learning Data Xi Yan, David Acuna, Sanja Fidler

NeurIPS 2020 Variational Amodal Object Completion Huan Ling, David Acuna, Karsten Kreis, Seung Wook Kim, Sanja Fidler

CVPR 2019 Devil Is in the Edges: Learning Semantic Boundaries from Noisy Annotations David Acuna, Amlan Kar, Sanja Fidler

ICCV 2019 Gated-SCNN: Gated Shape CNNs for Semantic Segmentation Towaki Takikawa, David Acuna, Varun Jampani, Sanja Fidler

ICCV 2019 Meta-Sim: Learning to Generate Synthetic Datasets Amlan Kar, Aayush Prakash, Ming-Yu Liu, Eric Cameracci, Justin Yuan, Matt Rusiniak, David Acuna, Antonio Torralba, Sanja Fidler

ICCV 2019 Neural Turtle Graphics for Modeling City Road Layouts Hang Chu, Daiqing Li, David Acuna, Amlan Kar, Maria Shugrina, Xinkai Wei, Ming-Yu Liu, Antonio Torralba, Sanja Fidler

CVPR 2019 Object Instance Annotation with Deep Extreme Level Set Evolution Zian Wang, David Acuna, Huan Ling, Amlan Kar, Sanja Fidler

CVPR 2018 Efficient Interactive Annotation of Segmentation Datasets with Polygon-RNN++ David Acuna, Huan Ling, Amlan Kar, Sanja Fidler

CVPRW 2018 Training Deep Networks with Synthetic Data: Bridging the Reality Gap by Domain Randomization Jonathan Tremblay, Aayush Prakash, David Acuna, Mark Brophy, Varun Jampani, Cem Anil, Thang To, Eric Cameracci, Shaad Boochoon, Stan Birchfield