David Acuna
- f-Domain-Adversarial Learning: Theory and Algorithms
2021/06/21 by David Acuna, Guojun Zhang, Acuna, David +5 · 5 citations
Computer Science · #Domain Adaptation and Few-Shot Learning
- Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
2025/08/05 by Yong Lin, Shange Tang, Lin, Yong +37 · 2 voices · 34 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
- Gated-SCNN: Gated Shape CNNs for Semantic Segmentation
2019/07/12 by Towaki Takikawa, David Acuna, Takikawa, Towaki +5 · 2 citations
Computer Science · #Advanced Neural Network Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Video Surveillance and Tracking Methods #Visual Attention and Saliency Detection
- Prismatic Synthesis: Gradient-based Data Diversification Boosts Generalization in LLM Reasoning
2025/05/26 by Jaehun Jung, Jung, Jaehun, Seungju Han +17 · 10 citations
Engineering · #Reservoir Engineering and Simulation Methods
- Can Large Vision-Language Models Correct Semantic Grounding Errors By Themselves?
2024/04/09 by Yuan-Hong Liao, Rafid Mahmood, Liao, Yuan-Hong +5 · 4 citations
Computer Science · #Multimodal Machine Learning Applications #Topic Modeling
- Photorealistic Object Insertion with Diffusion-Guided Inverse Rendering
2024/08/19 by Ruofan Liang, Žan Gojčič, Liang, Ruofan +11 · 4 citations
Computer Science · Engineering · #3D Shape Modeling and Analysis #Artificial Intelligence (cs.AI) #Computer Graphics and Visualization Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Graphics (cs.GR) #Robotics and Sensor-Based Localization
- LongPerceptualThoughts: Distilling System-2 Reasoning for System-1 Perception
2025/04/21 by Yuan-Hong Liao, Liao, Yuan-Hong, Sven Elflein +11 · 5 citations
Computer Science · Materials Science · Neuroscience · #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Neural Networks and Applications #Neural dynamics and brain function
- Retro-Search: Exploring Untaken Paths for Deeper and Efficient Reasoning
2025/04/06 by Ximing Lu, Lu, Ximing, Seungju Han +19 · 5 citations
Computer Science · #Intelligent Tutoring Systems and Adaptive Learning #Explainable Artificial Intelligence (XAI) #Advanced Graph Neural Networks
- Complex Momentum for Optimization in Games
2021/02/16 by Jonathan Lorraine, David Acuna, Lorraine, Jonathan +5 · 1 citation
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Model Reduction and Neural Networks
- Domain Adversarial Training: A Game Perspective
2022/02/10 by David Acuna, Marc T. Law, Acuna, David +5 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and ELM
- Bridging the Sim2Real gap with CARE: Supervised Detection Adaptation with Conditional Alignment and Reweighting
2023/02/09 by Viraj Prabhu, David Acuna, Prabhu, Viraj +13 · 1 citation
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Video Surveillance and Tracking Methods
- Socratic-MCTS: Test-Time Visual Reasoning by Asking the Right Questions
2025/06/10 by David Acuna, Acuna, David, Ximing Lu +11 · 3 citations
Computer Science · Social Sciences · #Multimodal Machine Learning Applications #Explainable Artificial Intelligence (XAI) #Ethics and Social Impacts of AI