Gomes, Carla P.

105 publications

AAAI 2025 Constraint-Aware Pareto Optimization for Tree-Structured Networks: Addressing Decarbonization Targets with Hydropower Expansion Marc Grimson, Zhongdi Qu, Yue Mao, Aaron M. Ferber, Felipe Siqueira Pacheco, Sebastian Heilpern, Hector Angarita, Alexander Flecker, Carla P. Gomes

AISTATS 2025 Diffusion Models as Constrained Samplers for Optimization with Unknown Constraints Lingkai Kong, Yuanqi Du, Wenhao Mu, Kirill Neklyudov, Valentin De Bortoli, Dongxia Wu, Haorui Wang, Aaron M Ferber, Yian Ma, Carla P Gomes, Chao Zhang

IJCAI 2025 Expanding Connected Components from Alternative Terminals: Global Optimization for Freshwater Fishes Under the UN's 30x30 Conservation Goal Yue Mao, Zhongdi Qu, Imanol Miqueleiz, Aaron M. Ferber, Sami Wolf, Marc Grimson, Sebastian Heilpern, Felipe Siqueira Pacheco, Alexander S. Flecker, Peter B. McIntyre, Carla P. Gomes

NeurIPS 2025 FEAT: Free Energy Estimators with Adaptive Transport Yuanqi Du, Jiajun He, Francisco Vargas, Yuanqing Wang, Carla P Gomes, José Miguel Hernández-Lobato, Eric Vanden-Eijnden

ICLRW 2025 Large Language Models Are Innate Crystal Structure Generators Jingru Gan, Peichen Zhong, Yuanqi Du, Yanqiao Zhu, Chenru Duan, Haorui Wang, Daniel Schwalbe-Koda, Carla P Gomes, Kristin Persson, Wei Wang

ICLR 2025 Learning to Explore and Exploit with GNNs for Unsupervised Combinatorial Optimization Utku Umur Acikalin, Aaron M Ferber, Carla P Gomes

ICLRW 2025 No Trick, No Treat: Pursuits and Challenges Towards Simulation-Free Training of Neural Samplers Jiajun He, Yuanqi Du, Francisco Vargas, Dinghuai Zhang, Shreyas Padhy, RuiKang OuYang, Carla P Gomes, José Miguel Hernández-Lobato

ICLR 2025 On Speeding up Language Model Evaluation Jin Peng Zhou, Christian K Belardi, Ruihan Wu, Travis Zhang, Carla P Gomes, Wen Sun, Kilian Q Weinberger

ICML 2025 PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation Albert Gong, Kamilė Stankevičiūtė, Chao Wan, Anmol Kabra, Raphael Thesmar, Johann Lee, Julius Klenke, Carla P Gomes, Kilian Q Weinberger

ICLRW 2025 PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation Albert Gong, Kamilė Stankevičiūtė, Chao Wan, Anmol Kabra, Raphael Thesmar, Johann Lee, Julius Klenke, Carla P Gomes, Kilian Q Weinberger

ICLRW 2025 Scaling Deep Learning Solutions for Transition Path Sampling Jungyoon Lee, Michael Plainer, Yuanqi Du, Lars Holdijk, Rob Brekelmans, Carla P Gomes, Dominique Beaini, Kirill Neklyudov

AAAI 2024 Conformal Crystal Graph Transformer with Robust Encoding of Periodic Invariance Yingheng Wang, Shufeng Kong, John M. Gregoire, Carla P. Gomes

NeurIPS 2024 Doob's Lagrangian: A Sample-Efficient Variational Approach to Transition Path Sampling Yuanqi Du, Michael Plainer, Rob Brekelmans, Chenru Duan, Frank Noé, Carla P. Gomes, Alán Aspuru-Guzik, Kirill Neklyudov

ICMLW 2024 Doob's Lagrangian: A Sample-Efficient Variational Approach to Transition Path Sampling Yuanqi Du, Michael Plainer, Rob Brekelmans, Chenru Duan, Frank Noe, Carla P Gomes, Alan Aspuru-Guzik, Kirill Neklyudov

ICMLW 2024 Doob's Lagrangian: A Sample-Efficient Variational Approach to Transition Path Sampling Yuanqi Du, Michael Plainer, Rob Brekelmans, Chenru Duan, Frank Noe, Carla P Gomes, Alan Aspuru-Guzik, Kirill Neklyudov

ICMLW 2024 Doob's Lagrangian: A Sample-Efficient Variational Approach to Transition Path Sampling Yuanqi Du, Michael Plainer, Rob Brekelmans, Chenru Duan, Frank Noe, Carla P Gomes, Alan Aspuru-Guzik, Kirill Neklyudov

AAAI 2024 Scaling up Pareto Optimization for Tree Structures with Affine Transformations: Evaluating Hybrid Floating Solar-Hydropower Systems in the Amazon Marc Grimson, Rafael Almeida, Qinru Shi, Yiwei Bai, Hector Angarita, Felipe Siqueira Pacheco, Rafael Schmitt, Alexander Flecker, Carla P. Gomes

NeurIPS 2023 A New Perspective on Building Efficient and Expressive 3D Equivariant Graph Neural Networks Weitao Du, Yuanqi Du, Limei Wang, Dieqiao Feng, Guifeng Wang, Shuiwang Ji, Carla P. Gomes, Zhi-Ming Ma

NeurIPSW 2023 Joint Time–frequency Scattering-Enhanced Representation for Bird Vocalization Classification Yimeng Min, Eliot T Miller, Daniel Fink, Carla P Gomes

NeurIPS 2023 M$^2$Hub: Unlocking the Potential of Machine Learning for Materials Discovery Yuanqi Du, Yingheng Wang, Yining Huang, Jianan Canal Li, Yanqiao Zhu, Tian Xie, Chenru Duan, John Gregoire, Carla P. Gomes

NeurIPS 2023 Unsupervised Learning for Solving the Travelling Salesman Problem Yimeng Min, Yiwei Bai, Carla P. Gomes

ICML 2023 Weighted Sampling Without Replacement for Deep Top-$k$ Classification Dieqiao Feng, Yuanqi Du, Carla P Gomes, Bart Selman

AISTATS 2022 The Fast Kernel Transform John P. Ryan, Sebastian E. Ament, Carla P. Gomes, Anil Damle

AAAI 2022 A GNN-RNN Approach for Harnessing Geospatial and Temporal Information: Application to Crop Yield Prediction Joshua Fan, Junwen Bai, Zhiyun Li, Ariel Ortiz-Bobea, Carla P. Gomes

ICML 2022 Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification Junwen Bai, Shufeng Kong, Carla P Gomes

ICLR 2022 Is High Variance Unavoidable in RL? a Case Study in Continuous Control Johan Bjorck, Carla P Gomes, Kilian Q Weinberger

NeurIPS 2022 Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-Based Best-First Search for Sokoban Planning Dieqiao Feng, Carla P. Gomes, Bart Selman

IJCAI 2022 Monitoring Vegetation from Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net Joshua Fan, Di Chen, Jiaming Wen, Ying Sun, Carla P. Gomes

ICML 2022 Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation Sebastian E Ament, Carla P Gomes

NeurIPSW 2022 Xtal2DoS: Attention-Based Crystal to Sequence Learning for Density of States Prediction Junwen Bai, Yuanqi Du, Yingheng Wang, Shufeng Kong, John Gregoire, Carla P Gomes

AAAI 2021 Accelerating Ecological Sciences from Above: Spatial Contrastive Learning for Remote Sensing Johan Bjorck, Brendan H. Rappazzo, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P. Gomes

AAAI 2021 Characterizing the Loss Landscape in Non-Negative Matrix Factorization Johan Bjorck, Anmol Kabra, Kilian Q. Weinberger, Carla P. Gomes

NeurIPS 2021 Contrastively Disentangled Sequential Variational Autoencoder Junwen Bai, Weiran Wang, Carla P. Gomes

AAAI 2021 EeLISA: Combating Global Warming Through the Rapid Analysis of Eelgrass Wasting Disease Brendan H. Rappazzo, Morgan E. Eisenlord, Olivia J. Graham, Lillian R. Aoki, Phoebe D. Dawkins, Drew Harvell, Carla P. Gomes

NeurIPSW 2021 Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification Junwen Bai, Shufeng Kong, Carla P Gomes

AAAI 2021 HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders Wenting Zhao, Shufeng Kong, Junwen Bai, Daniel Fink, Carla P. Gomes

AAAI 2021 Learning Augmented Methods for Matching: Improving Invasive Species Management and Urban Mobility Johan Bjorck, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P. Gomes

ICML 2021 Low-Precision Reinforcement Learning: Running Soft Actor-Critic in Half Precision Johan Björck, Xiangyu Chen, Christopher De Sa, Carla P Gomes, Kilian Weinberger

ICML 2021 Sparse Bayesian Learning via Stepwise Regression Sebastian E. Ament, Carla P. Gomes

NeurIPS 2021 Towards Deeper Deep Reinforcement Learning with Spectral Normalization Nils Bjorck, Carla P. Gomes, Kilian Q. Weinberger

AAAI 2021 Understanding Decoupled and Early Weight Decay Johan Bjorck, Kilian Q. Weinberger, Carla P. Gomes

NeurIPS 2020 A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances Dieqiao Feng, Carla P. Gomes, Bart Selman

IJCAI 2020 Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation Shufeng Kong, Junwen Bai, Jae Hee Lee, Di Chen, Andrew Allyn, Michelle Stuart, Malin Pinsky, Katherine Mills, Carla P. Gomes

IJCAI 2020 Disentangled Variational Autoencoder Based Multi-Label Classification with Covariance-Aware Multivariate Probit Model Junwen Bai, Shufeng Kong, Carla P. Gomes

IJCAI 2020 Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning Dieqiao Feng, Carla P. Gomes, Bart Selman

IJCAI 2020 Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance Di Chen, Yada Zhu, Xiaodong Cui, Carla P. Gomes

AAAI 2019 Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant Johan Bjorck, Brendan H. Rappazzo, Di Chen, Richard Bernstein, Peter H. Wrege, Carla P. Gomes

AAAI 2019 Bias Reduction via End-to-End Shift Learning: Application to Citizen Science Di Chen, Carla P. Gomes

AAAI 2018 Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin Xiaojian Wu, Jonathan Gomes-Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Elizabeth Anderson, Suresh Sethi, Scott Steinschneider, Alexander Flecker, Carla P. Gomes

AAAI 2018 Multi-Entity Dependence Learning with Rich Context via Conditional Variational Auto-Encoder Luming Tang, Yexiang Xue, Di Chen, Carla P. Gomes

AAAI 2018 Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes

NeurIPS 2018 Understanding Batch Normalization Nils Bjorck, Carla P. Gomes, Bart Selman, Kilian Q. Weinberger

IJCAI 2017 Deep Multi-Species Embedding Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen, Carla P. Gomes

AAAI 2017 Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information Yexiang Xue, XiaoJian Wu, Dana Morin, Bistra Dilkina, Angela Fuller, J. Andrew Royle, Carla P. Gomes

AAAI 2017 Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery Yexiang Xue, Junwen Bai, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, Johan Bjorck, Liane Longpre, Santosh K. Suram, Robert Bruce van Dover, John M. Gregoire, Carla P. Gomes

IJCAI 2017 XOR-Sampling for Network Design with Correlated Stochastic Events Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes

NeurIPS 2016 Solving Marginal MAP Problems with NP Oracles and Parity Constraints Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman

AAAI 2015 Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa Stefano Ermon, Yexiang Xue, Russell Toth, Bistra Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick E. Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes

AAAI 2015 Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover

IJCAI 2015 Uncovering Hidden Structure Through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman

AAAI 2014 Challenges in Materials Discovery - Synthetic Generator and Real Datasets Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover

AAAI 2014 Designing Fast Absorbing Markov Chains Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

AAAI 2014 Uncovering Hidden Structure Through Parallel Problem Decomposition Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman

IJCAI 2013 Crowdsourcing Backdoor Identification for Combinatorial Optimization Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover

IJCAI 2013 Double-Wheel Graphs Are Graceful Ronan LeBras, Carla P. Gomes, Bart Selman

NeurIPS 2013 Embed and Project: Discrete Sampling with Universal Hashing Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

AAAI 2013 Large Landscape Conservation - Synthetic and Real-World Datasets Bistra Dilkina, Katherine J. Lai, Ronan LeBras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery

MLJ 2013 Learning Policies for Battery Usage Optimization in Electric Vehicles Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman

UAI 2013 Optimization with Parity Constraints: From Binary Codes to Discrete Integration Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

AAAI 2013 Robust Network Design for Multispecies Conservation Ronan LeBras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery

NeurIPS 2012 Density Propagation and Improved Bounds on the Partition Function Stefano Ermon, Ashish Sabharwal, Bart Selman, Carla P. Gomes

AAAI 2012 From Streamlined Combinatorial Search to Efficient Constructive Procedures Ronan LeBras, Carla P. Gomes, Bart Selman

ECML-PKDD 2012 Learning Policies for Battery Usage Optimization in Electric Vehicles Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman

UAI 2012 Uniform Solution Sampling Using a Constraint Solver as an Oracle Stefano Ermon, Carla P. Gomes, Bart Selman

IJCAI 2011 A Flat Histogram Method for Computing the Density of States of Combinatorial Problems Stefano Ermon, Carla P. Gomes, Bart Selman

NeurIPS 2011 Accelerated Adaptive Markov Chain for Partition Function Computation Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

IJCAI 2011 Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla P. Gomes, Yrjö T. Gröhn

IJCAI 2011 Risk-Sensitive Policies for Sustainable Renewable Resource Allocation Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman

AAAI 2011 The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery

UAI 2010 Maximizing the Spread of Cascades Using Network Design Daniel Sheldon, Bistra Dilkina, Adam N. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla P. Gomes, David B. Shmoys, William Allen, Ole Amundsen, William Vaughan

UAI 2010 Playing Games Against Nature: Optimal Policies for Renewable Resource Allocation Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman

IJCAI 2009 Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman

IJCAI 2009 Learning Optimal Subsets with Implicit User Preferences Yunsong Guo, Carla P. Gomes

IJCAI 2009 Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search Yunsong Guo, Carla P. Gomes

AAAI 2008 Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 Dieter Fox, Carla P. Gomes

AAAI 2007 Counting CSP Solutions Using Generalized XOR Constraints Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman

IJCAI 2007 From Sampling to Model Counting Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman

AAAI 2007 Optimal Multi-Agent Scheduling with Constraint Programming Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi

IJCAI 2007 SAT Encodings of State-Space Reachability Problems in Numeric Domains Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz

AAAI 2007 The Impact of Network Topology on Pure Nash Equilibria in Graphical Games Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal

AAAI 2006 Model Counting: A New Strategy for Obtaining Good Bounds Carla P. Gomes, Ashish Sabharwal, Bart Selman

NeurIPS 2006 Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints Carla P. Gomes, Ashish Sabharwal, Bart Selman

AAAI 2006 The Impact of Balancing on Problem Hardness in a Highly Structured Domain Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu

IJCAI 2005 Streamlining Local Search for Spatially Balanced Latin Squares Casey Smith, Carla P. Gomes, Cèsar Fernández

AAAI 2005 The Achilles' Heel of QBF Carlos Ansótegui, Carla P. Gomes, Bart Selman

IJCAI 2003 Backdoors to Typical Case Complexity Ryan Williams, Carla P. Gomes, Bart Selman

IJCAI 2003 Grid-Based SensorDCSP Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls

AAAI 2002 Dynamic Restart Policies Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman

UAI 2001 A Bayesian Approach to Tackling Hard Computational Problems Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering

IJCAI 2001 Balance and Filtering in Structured Satisfiable Problems Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

AAAI 2000 Generating Satisfiable Problem Instances Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman

AAAI 2000 Structure, Duality, and Randomization: Common Themes in AI and or Carla P. Gomes

AAAI 1998 Boosting Combinatorial Search Through Randomization Carla P. Gomes, Bart Selman, Henry A. Kautz

UAI 1997 Algorithm Portfolio Design: Theory vs. Practice Carla P. Gomes, Bart Selman

AAAI 1997 Problem Structure in the Presence of Perturbations Carla P. Gomes, Bart Selman