A Distributed Scheduling Framework. - Carla P. Gomes; Austin Tate; Lyn C. Thomas (ICTAI, 1994)

Synthesis of schedulers for planned shutdowns of power plants. - Carla P. Gomes; Douglas R. Smith; Stephen J. Westfold (KBSE, 1996)

ABA: An Assignment Based Algorithm for Resource Allocation. - Carla P. Gomes; Julie Hsu (SIGART Bull., 1996)

Problem Structure in the Presence of Perturbations. - Carla P. Gomes; Bart Selman (AAAI/IAAI, 1997)

Heavy-Tailed Distributions in Combinatorial Search. - Carla P. Gomes; Bart Selman; Nuno Crato (CP, 1997)

A Transformational Approach Applied to Outage Management of Nuclear Power Plants. - Carla P. Gomes; Douglas R. Smith; Stephen J. Westfold (HICSS (5), 1997)

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

Boosting Combinatorial Search Through Randomization. - Carla P. Gomes; Bart Selman; Henry A. Kautz (AAAI/IAAI, 1998)

Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. - Carla P. Gomes; Bart Selman; Ken McAloon; Carol Tretkoff (AIPS, 1998)

On the Fine Structure of Large Search Spaces. - Carla P. Gomes; Bart Selman (ICTAI, 1999)

Search Strategies for Hybrid Search Spaces. - Carla P. Gomes; Bart Selman (ICTAI, 1999)

Generating Satisfiable Problem Instances. - Dimitris Achlioptas; Carla P. Gomes; Henry A. Kautz; Bart Selman (AAAI/IAAI, 2000)

Structure, Duality, and Randomization: Common Themes in AI and OR. - Carla P. Gomes (AAAI/IAAI, 2000)

Hybrid Search Strategies for Heterogeneous Search Spaces. - Carla P. Gomes; Bart Selman (Int. J. Artif. Intell. Tools, 2000)

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. - Carla P. Gomes; Bart Selman; Nuno Crato; Henry A. Kautz (J. Autom. Reason., 2000)

Capturing Structure with Satisfiability. - Ramón Béjar; Alba Cabiscol; Cèsar Fernández; Felip Manyà; Carla P. Gomes (CP, 2001)

Formal Models of Heavy-Tailed Behavior in Combinatorial Search. - Hubie Chen; Carla P. Gomes; Bart Selman (CP, 2001)

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

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

Algorithm portfolios. - Carla P. Gomes; Bart Selman (Artif. Intell., 2001)

AAAI 2000 Workshop Reports. - Yves Lespérance; Gerd Wagner 001; William P. Birmingham; Kurt D. Bollacker; Alexander Nareyek; J. Paul Walser; David W. Aha; Timothy W. Finin; Benjamin N. Grosof; Nathalie Japkowicz; Robert Holte; Lise Getoor; et al. (AI Mag., 2001)

Extending the Reach of SAT with Many-Valued Logics. - Ramón Béjar; Alba Cabiscol; Cèsar Fernández; Felip Manyà; Carla P. Gomes (Electron. Notes Discret. Math., 2001)

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). - Eric Horvitz; Yongshao Ruan; Carla P. Gomes; Henry A. Kautz; Bart Selman; David Maxwell Chickering (Electron. Notes Discret. Math., 2001)

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). - Henry A. Kautz; Yongshao Ruan; Dimitris Achlioptas; Carla P. Gomes; Bart Selman; Mark E. Stickel (Electron. Notes Discret. Math., 2001)

On the intersection of AI and OR. - Carla P. Gomes (Knowl. Eng. Rev., 2001)

Dynamic Restart Policies. - Henry A. Kautz; Eric Horvitz; Yongshao Ruan; Carla P. Gomes; Bart Selman (AAAI/IAAI, 2002)

Communication and Computation in Distributed CSP Algorithms. - Cèsar Fernández; Ramón Béjar; Bhaskar Krishnamachari; Carla P. Gomes (CP, 2002)

AAAI 2002 Fall Symposium Series Reports. - Benjamin Bell; Lola Cañamero; Silvia Coradeschi; Carla P. Gomes; Alessandro Saffiotti; Costas Tsatsoulis; Toby Walsh (AI Mag., 2002)

AAAI 2002 Workshops. - M. Brian Blake; Karen Zita Haigh; Henry Hexmoor; Rino Falcone; Leen-Kiat Soh; Chitta Baral; Sheila A. McIlraith; Piotr J. Gmytrasiewicz; Simon Parsons; Rainer Malaka; Antonio Krüger; Paolo Bouquet; et al. (AI Mag., 2002)

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

Backdoors To Typical Case Complexity. - Ryan Williams 001; Carla P. Gomes; Bart Selman (IJCAI, 2003)

Técnicas de resolución de problemas de satisfacción de restricciones. - Felip Manyà; Carla P. Gomes (Inteligencia Artif., 2003)

Streamlined Constraint Reasoning. - Carla P. Gomes; Meinolf Sellmann (CP, 2004)

Quality of LP-Based Approximations for Highly Combinatorial Problems. - Lucian Leahu; Carla P. Gomes (CP, 2004)

The Cardinality Matrix Constraint. - Jean-Charles Régin; Carla P. Gomes (CP, 2004)

The Challenge of Generating Spatially Balanced Scientific Experiment Designs. - Carla P. Gomes; Meinolf Sellmann; Cindy van Es; Harold van Es (CPAIOR, 2004)

Approximations and Randomization to Boost CSP Techniques. - Carla P. Gomes; David B. Shmoys (Ann. Oper. Res., 2004)

An improved approximation algorithm for the partial Latin square extension problem. - Carla P. Gomes; Rommel G. Regis; David B. Shmoys (Oper. Res. Lett., 2004)

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

LP as a Global Search Heuristic Across Different Constrainedness Regions. - Lucian Leahu; Carla P. Gomes (CP, 2005)

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

Sensor networks and distributed CSP: communication, computation and complexity. - Ramón Béjar; Carmel Domshlak; Cèsar Fernández; Carla P. Gomes; Bhaskar Krishnamachari; Bart Selman; Magda Valls (Artif. Intell., 2005)

Statistical Regimes Across Constrainedness Regions. - Carla P. Gomes; Cèsar Fernández; Bart Selman; Christian Bessière (Constraints An Int. J., 2005)

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 (AAAI, 2006)

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

Constraint Programming for Distributed Planning and Scheduling. - Carla P. Gomes; Willem Jan van Hoeve; Bart Selman (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

The Power of Semidefinite Programming Relaxations for MAX-SAT. - Carla P. Gomes; Willem Jan van Hoeve; Lucian Leahu (CPAIOR, 2006)

Adventures in Randomized Computational Methods. - Carla P. Gomes (AI&M, 2006)

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

QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. - Ashish Sabharwal; Carlos Ansótegui; Carla P. Gomes; Justin W. Hart; Bart Selman (SAT, 2006)

Randomness and Structure. - Carla P. Gomes; Toby Walsh (Handbook of Constraint Programming, 2006)

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

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

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

Tradeoffs in the Complexity of Backdoor Detection. - Bistra Dilkina; Carla P. Gomes; Ashish Sabharwal (CP, 2007)

Connections in Networks: Hardness of Feasibility Versus Optimality. - Jon Conrad; Carla P. Gomes; Willem Jan van Hoeve; Ashish Sabharwal; Jordan Suter (CPAIOR, 2007)

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

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

Short XORs for Model Counting: From Theory to Practice. - Carla P. Gomes; Jörg Hoffmann 001; Ashish Sabharwal; Bart Selman (SAT, 2007)

Sampling and Soundness: Can We Have Both? - Carla P. Gomes; Jörg Hoffmann 001; Ashish Sabharwal; Bart Selman (New Forms of Reasoning for the Semantic Web, 2007)

Regular-SAT: A many-valued approach to solving combinatorial problems. - Ramón Béjar; Felip Manyà; Alba Cabiscol; Cèsar Fernández; Carla P. Gomes (Discret. Appl. Math., 2007)

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. - Jörg Hoffmann 001; Carla P. Gomes; Bart Selman (Log. Methods Comput. Sci., 2007)

Connections in Networks: A Hybrid Approach. - Carla P. Gomes; Willem Jan van Hoeve; Ashish Sabharwal (CPAIOR, 2008)

Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. - Bistra Dilkina; Carla P. Gomes; Ashish Sabharwal (ISAIM, 2008)

Satisfiability Solvers. - Carla P. Gomes; Henry A. Kautz; Ashish Sabharwal; Bart Selman (Handbook of Knowledge Representation, 2008)

Challenges for Constraint Reasoning and Optimization in Computational Sustainability. - Carla P. Gomes (CP, 2009)

Backdoors to Combinatorial Optimization: Feasibility and Optimality. - Bistra Dilkina; Carla P. Gomes; Yuri Malitsky; Ashish Sabharwal; Meinolf Sellmann (CPAIOR, 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 (IJCAI, 2009)

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

Backdoors in the Context of Learning. - Bistra Dilkina; Carla P. Gomes; Ashish Sabharwal (SAT, 2009)

A generative power-law search tree model. - Alda Carvalho; Nuno Crato; Carla P. Gomes (Comput. Oper. Res., 2009)

Exploiting Runtime Variation in Complete Solvers. - Carla P. Gomes; Ashish Sabharwal (Handbook of Satisfiability, 2009)

Model Counting. - Carla P. Gomes; Ashish Sabharwal; Bart Selman (Handbook of Satisfiability, 2009)

Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. - Stefano Ermon; Carla P. Gomes; Bart Selman (AAMAS, 2010)

An Empirical Study of Optimization for Maximizing Diffusion in Networks. - Kiyan Ahmadizadeh; Bistra Dilkina; Carla P. Gomes; Ashish Sabharwal (CP, 2010)

Computing the Density of States of Boolean Formulas. - Stefano Ermon; Carla P. Gomes; Bart Selman (CP, 2010)

Solving Connected Subgraph Problems in Wildlife Conservation. - Bistra Dilkina; Carla P. Gomes (CPAIOR, 2010)

Challenges for CPAIOR in Computational Sustainability. - Carla P. Gomes (CPAIOR, 2010)

Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel. - Theodoros Damoulas; Samuel Henry 001; Andrew Farnsworth; Michael Lanzone; Carla P. Gomes (ICMLA, 2010)

Playing games against nature: optimal policies for renewable resource allocation. - Stefano Ermon; Jon Conrad; Carla P. Gomes; Bart Selman (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)

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 (AAAI, 2011)

A message passing approach to multiagent gaussian inference for dynamic processes. - Stefano Ermon; Carla P. Gomes; Bart Selman (AAMAS, 2011)

Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. - Ronan LeBras; Theodoros Damoulas; John M. Gregoire; Ashish Sabharwal; Carla P. Gomes; R. Bruce van Dover (CP, 2011)

Upgrading Shortest Paths in Networks. - Bistra Dilkina; Katherine J. Lai; Carla P. Gomes (CPAIOR, 2011)

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. - Stefano Ermon; Jon Conrad; 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 (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)

Accelerated Adaptive Markov Chain for Partition Function Computation. - Stefano Ermon; Carla P. Gomes; Ashish Sabharwal; Bart Selman (NIPS, 2011)

Generating highly balanced sudoku problems as hard problems. - Carlos Ansótegui; Ramón Béjar; Cèsar Fernández; Carla P. Gomes; Carles Mateu (J. Heuristics, 2011)

Introduction to special issue on computational sustainability. - Carla P. Gomes; Qiang Yang 001 (ACM Trans. Intell. Syst. Technol., 2011)

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

Probabilistic planning with non-linear utility functions and worst-case guarantees. - Stefano Ermon; Carla P. Gomes; Bart Selman; Alexander Vladimirsky (AAMAS, 2012)

Incorporating Computational Sustainability into AI Education through a Freely-Available, Collectively-Composed Supplementary Lab Text. - Douglas H. Fisher; Bistra Dilkina; Eric Eaton; Carla Gomes 001 (EAAI, 2012)

eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research. - Steve Kelling; Jeff Gerbracht; Daniel Fink 002; Carl Lagoze; Weng-Keen Wong; Jun Yu; Theodoros Damoulas; Carla P. Gomes (IAAI, 2012)

Density Propagation and Improved Bounds on the Partition Function. - Stefano Ermon; Carla P. Gomes; Ashish Sabharwal; Bart Selman (NIPS, 2012)

SMT-Aided Combinatorial Materials Discovery. - Stefano Ermon; Ronan LeBras; Carla P. Gomes; Bart Selman; R. Bruce van Dover (SAT, 2012)

Uniform Solution Sampling Using a Constraint Solver As an Oracle. - Stefano Ermon; Carla P. Gomes; Bart Selman (UAI, 2012)

Robust Network Design For Multispecies Conservation. - Ronan LeBras; Bistra Dilkina; Yexiang Xue; Carla P. Gomes; Kevin S. McKelvey; Michael K. Schwartz; Claire A. Montgomery (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 (AAAI, 2013)

Improving Your Chances: Boosting Citizen Science Discovery. - Yexiang Xue; Bistra Dilkina; Theodoros Damoulas; Daniel Fink 002; Carla P. Gomes; Steve Kelling (HCOMP, 2013)

Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. - Stefano Ermon; Carla P. Gomes; Ashish Sabharwal; Bart Selman (ICML (2), 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 (IJCAI, 2013)

Embed and Project: Discrete Sampling with Universal Hashing. - Stefano Ermon; Carla P. Gomes; Ashish Sabharwal; Bart Selman (NIPS, 2013)

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. - Marcelo Finger; Ronan LeBras; Carla P. Gomes; Bart Selman (SAT, 2013)

Optimization With Parity Constraints: From Binary Codes to Discrete Integration. - Stefano Ermon; Carla P. Gomes; Ashish Sabharwal; Bart Selman (UAI, 2013)

A Human/Computer Learning Network to Improve Biodiversity Conservation and Research. - Steve Kelling; Jeff Gerbracht; Daniel Fink 002; Carl Lagoze; Weng-Keen Wong; Jun Yu; Theodoros Damoulas; Carla P. Gomes (AI Mag., 2013)

Learning policies for battery usage optimization in electric vehicles. - Stefano Ermon; Yexiang Xue; Carla P. Gomes; Bart Selman (Mach. Learn., 2013)

Challenges in Materials Discovery - Synthetic Generator and Real Datasets. - Ronan Le Bras 001; 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 (AAAI, 2014)

On the Erdős Discrepancy Problem. - Ronan Le Bras 001; Carla P. Gomes; Bart Selman (CP, 2014)

A Human Computation Framework for Boosting Combinatorial Solvers. - Ronan Le Bras 001; Yexiang Xue; Richard Bernstein; Carla P. Gomes; Bart Selman (HCOMP, 2014)

Low-density Parity Constraints for Hashing-Based Discrete Integration. - Stefano Ermon; Carla P. Gomes; Ashish Sabharwal; Bart Selman (ICML, 2014)

String Kernels for Complex Time-Series: Counting Targets from Sensed Movement. - Theodoros Damoulas; Jin He; Richard Bernstein; Carla P. Gomes; Anish Arora (ICPR, 2014)

Computational Sustainability. - Eric Eaton; Carla P. Gomes; Brian Charles Williams (AI Mag., 2014)

Computational Sustainability: Editorial Introduction to the Summer and Fall Issues. - Eric Eaton; Carla P. Gomes; Brian Charles Williams (AI Mag., 2014)

Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models. - Daniel Fink 002; Theodoros Damoulas; Nicholas E. Bruns; Frank A. La Sorte; Wesley M. Hochachka; Carla P. Gomes; Steve Kelling (AI Mag., 2014)

Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. - Bistra Dilkina; Carla P. Gomes; Ashish Sabharwal (Ann. Math. Artif. Intell., 2014)

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. - Stefano Ermon; Ronan Le Bras 001; Santosh K. Suram; John M. Gregoire; Carla P. Gomes; Bart Selman; Robert Bruce van Dover (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)

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. - Yexiang Xue; Stefano Ermon; Carla P. Gomes; Bart Selman (AAAI Workshop: Computational Sustainability, 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 (IJCAI, 2015)

Avicaching: A Two Stage Game for Bias Reduction in Citizen Science. - Yexiang Xue; Ian Davies; Daniel Fink 002; Christopher Wood; Carla P. Gomes (AAMAS, 2016)

Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. - Yexiang Xue; Ian Davies; Daniel Fink 002; Christopher Wood; Carla P. Gomes (CP, 2016)

Variable Elimination in the Fourier Domain. - Yexiang Xue; Stefano Ermon; Ronan Le Bras 001; Carla P. Gomes; Bart Selman (ICML, 2016)

Solving Marginal MAP Problems with NP Oracles and Parity Constraints. - Yexiang Xue; Zhiyuan Li 005; Stefano Ermon; Carla P. Gomes; Bart Selman (NIPS, 2016)

Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. - Yexiang Xue; Junwen Bai; Ronan Le Bras 001; Brendan Rappazzo; Richard Bernstein; Johan Bjorck; Liane Longpre; Santosh K. Suram; Robert Bruce van Dover; John M. Gregoire; 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)

Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery. - Junwen Bai; Johan Bjorck; Yexiang Xue; Santosh K. Suram; John M. Gregoire; Carla P. Gomes (CPAIOR, 2017)

In Search of Balance: The Challenge of Generating Balanced Latin Rectangles. - Mateo Díaz; Ronan Le Bras 001; Carla P. Gomes (CPAIOR, 2017)

Keynotes: Computational sustainability. - Carla P. Gomes (SustainIT, 2017)

Deep Multi-species Embedding. - Di Chen 001; Yexiang Xue; Daniel Fink 002; Shuo Chen 008; Carla P. Gomes (IJCAI, 2017)

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

Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network. - Johan Bjorck; Yiwei Bai; Xiaojian Wu; Yexiang Xue; Mark C. Whitmore; Carla P. Gomes (CoRR, 2017)

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 (AAAI, 2018)

Multi-Entity Dependence Learning With Rich Context via Conditional Variational Auto-Encoder. - Luming Tang; Yexiang Xue; Di Chen 001; 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 001; Scott Steinschneider; Alexander Flecker; Carla P. Gomes (AAAI, 2018)

Extending the Capacity of 1 / f Noise Generation. - Guillaume Perez; Brendan Rappazzo; Carla P. Gomes (CP, 2018)

An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science. - Junwen Bai; Sebastian Ament; Guillaume Perez; John M. Gregoire; Carla P. Gomes (CPAIOR, 2018)

Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks. - Jonathan Michael Gomes Selman; Qinru Shi; Yexiang Xue; Roosevelt García-Villacorta; Alexander S. Flecker; Carla P. Gomes (CPAIOR, 2018)

Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework. - Qinru Shi; Jonathan Michael Gomes Selman; Roosevelt García-Villacorta; Suresh Sethi 001; Alexander S. Flecker; Carla P. Gomes (COMPASS, 2018)

End-to-End Learning for the Deep Multivariate Probit Model. - Di Chen 001; Yexiang Xue; Carla P. Gomes (ICML, 2018)

Understanding Batch Normalization. - Johan Bjorck; Carla P. Gomes; Bart Selman; Kilian Q. Weinberger (NeurIPS, 2018)

Phase Mapper: Accelerating Materials Discovery with AI. - Junwen Bai; Yexiang Xue; Johan Bjorck; Ronan Le Bras 001; Brendan Rappazzo; Richard Bernstein; Santosh K. Suram; Robert Bruce van Dover; John M. Gregoire; Carla P. Gomes (AI Mag., 2018)

Imitation Refinement. - Junwen Bai; Runzhe Yang; Yexiang Xue; John M. Gregoire; Carla P. Gomes (CoRR, 2018)

Understanding Batch Normalization. - Johan Bjorck; Carla P. Gomes; Bart Selman (CoRR, 2018)

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

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

CPU-accelerated principal-agent game for scalable citizen science. - Anmol Kabra; Yexiang Xue; Carla P. Gomes (COMPASS, 2019)

Computational Sustainability. - Carla P. Gomes (ICAART (1), 2019)

Imitation Refinement for X-ray Diffraction Signal Processing. - Junwen Bai; Zihang Lai; Runzhe Yang; Yexiang Xue; John M. Gregoire; Carla P. Gomes (ICASSP, 2019)

Intelligent systems for geosciences: an essential research agenda. - Yolanda Gil; Suzanne A. Pierce; Hassan A. Babaie; Arindam Banerjee 001; Kirk D. Borne; Gary S. Bust; Michelle Cheatham; Imme Ebert-Uphoff; Carla P. Gomes; Mary C. Hill; John D. Horel; Leslie Hsu; et al. (Commun. ACM, 2019)

Computational sustainability: computing for a better world and a sustainable future. - Carla P. Gomes; Thomas G. Dietterich; Christopher Barrett; Jon Conrad; Bistra Dilkina; Stefano Ermon; Fei Fang 001; Andrew Farnsworth; Alan Fern; Xiaoli Z. Fern; Daniel Fink 002; Douglas H. Fisher; et al. (Commun. ACM, 2019)

Exponentially-Modified Gaussian Mixture Model: Applications in Spectroscopy. - Sebastian Ament; John M. Gregoire; Carla P. Gomes (CoRR, 2019)

Deep Reasoning Networks: Thinking Fast and Slow. - Di Chen 001; Yiwei Bai; Wenting Zhao 002; Sebastian Ament; John M. Gregoire; Carla P. Gomes (CoRR, 2019)

Task-Based Learning via Task-Oriented Prediction Network. - Di Chen 001; Yada Zhu; Xiaodong Cui; Carla P. Gomes (CoRR, 2019)

AI for Advancing Scientific Discovery for a Sustainable Future. - Carla P. Gomes (AAMAS, 2020)

Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning. - Di Chen 001; Yiwei Bai; Wenting Zhao 002; Sebastian Ament; John M. Gregoire; Carla P. Gomes (ICML, 2020)

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

Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance. - Di Chen 001; Yada Zhu; Xiaodong Cui; 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)

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

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

Efficient Projection Algorithms onto the Weighted l1 Ball. - Guillaume Perez; Sebastian Ament; Carla P. Gomes; Michel Barlaud (CoRR, 2020)

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

Characterizing the Loss Landscape in Non-Negative Matrix Factorization. - Johan Bjorck; Anmol Kabra; Kilian Q. Weinberger; 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)

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 (AAAI, 2021)

Understanding Decoupled and Early Weight Decay. - Johan Bjorck; Kilian Q. Weinberger; 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 (AAAI, 2021)

CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games. - Yiwei Bai; Di Chen 001; Carla P. Gomes (CP, 2021)

On the Optimality of Backward Regression: Sparse Recovery and Subset Selection. - Sebastian Ament; Carla P. Gomes (ICASSP, 2021)

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

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

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

Towards Deeper Deep Reinforcement Learning with Spectral Normalization. - Johan Bjorck; Carla P. Gomes; Kilian Q. Weinberger (NeurIPS, 2021)

Keynote 2 - Computational Sustainability: Computing for a Better World and a Sustainable Future. - Carla P. Gomes (SMARTCOMP, 2021)

Autonomous synthesis of metastable materials. - Sebastian Ament; Maximilian Amsler; Duncan R. Sutherland; Ming-Chiang Chang; Dan Guevarra; Aine B. Connolly; John M. Gregoire; Michael O. Thompson; Carla P. Gomes; R. Bruce van Dover (CoRR, 2021)

Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems. - Yiwei Bai; Wenting Zhao 002; Carla P. Gomes (CoRR, 2021)

Evaluating Multi-label Classifiers with Noisy Labels. - Wenting Zhao 002; Carla P. Gomes (CoRR, 2021)

Low-Precision Reinforcement Learning. - Johan Bjorck; Xiangyu Chen 007; Christopher De Sa; Carla P. Gomes; Kilian Q. Weinberger (CoRR, 2021)

Towards Deeper Deep Reinforcement Learning. - Johan Bjorck; Carla P. Gomes; Kilian Q. Weinberger (CoRR, 2021)

Materials Representation and Transfer Learning for Multi-Property Prediction. - Shufeng Kong; Dan Guevarra; Carla P. Gomes; John M. Gregoire (CoRR, 2021)

Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. - Di Chen 001; Yiwei Bai; Sebastian Ament; Wenting Zhao 002; Dan Guevarra; Lan Zhou; Bart Selman; R. Bruce van Dover; John M. Gregoire; Carla P. Gomes (CoRR, 2021)

Constrained Machine Learning: The Bagel Framework. - Guillaume Perez; Sebastian Ament; Carla P. Gomes; Arnaud Lallouet (CoRR, 2021)

Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. - Di Chen 001; Yiwei Bai; Sebastian Ament; Wenting Zhao 002; Dan Guevarra; Lan Zhou; Bart Selman; R. Bruce van Dover; John M. Gregoire; Carla P. Gomes (Nat. Mach. Intell., 2021)

Exploiting Runtime Variation in Complete Solvers. - Carla P. Gomes; Ashish Sabharwal (Handbook of Satisfiability, 2021)

Model Counting. - Carla P. Gomes; Ashish Sabharwal; Bart Selman (Handbook of Satisfiability, 2021)

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

The Fast Kernel Transform. - John Paul Ryan; Sebastian E. Ament; Carla P. Gomes; Anil Damle (AISTATS, 2022)

Generalized Matching Pursuits for the Sparse Optimization of Separable Objectives. - Sebastian Ament; Carla P. Gomes (ICASSP, 2022)

Is High Variance Unavoidable in RL? A Case Study in Continuous Control. - Johan Bjorck; Carla P. Gomes; Kilian Q. Weinberger (ICLR, 2022)

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

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

Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net. - Joshua Fan 002; Di Chen 001; Jiaming Wen 002; Ying Sun; Carla P. Gomes (IJCAI, 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 (NeurIPS, 2022)

Efficient projection algorithms onto the weighted ℓ1 ball. - Guillaume Perez; Sebastian Ament; Carla P. Gomes; Michel Barlaud (Artif. Intell., 2022)

Graph Value Iteration. - Dieqiao Feng; Carla P. Gomes; Bart Selman (CoRR, 2022)

Structure-based Drug Design with Equivariant Diffusion Models. - Arne Schneuing; Yuanqi Du; Charles Harris; Arian R. Jamasb; Ilia Igashov; Weitao Du; Tom L. Blundell; Pietro Lió; Carla Gomes 001; Max Welling; Michael M. Bronstein; Bruno E. Correia (CoRR, 2022)

Provable Optimization of Quantal Response Leader-Follower Games with Exponentially Large Action Spaces. - Jinzhao Li; Daniel Fink 002; Christopher Wood; Carla P. Gomes; Yexiang Xue (AAMAS, 2023)

A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). - Renee Mirka; Laura Greenstreet; Marc Grimson; Carla P. Gomes (CP, 2023)

Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured Networks Using Expansion and Compression. - Yiwei Bai; Qinru Shi; Marc Grimson; Alexander Flecker; Carla P. Gomes (CPAIOR, 2023)

AI for Scientific Discovery and a Sustainable Future. - Carla Pedro Gomes (GECCO, 2023)

Weighted Sampling without Replacement for Deep Top-k Classification. - Dieqiao Feng; Yuanqi Du; Carla P. Gomes; Bart Selman (ICML, 2023)

Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial Phase Mapping. - Yimeng Min; Ming-Chiang Chang; Shufeng Kong; John M. Gregoire; R. Bruce van Dover; Michael O. Thompson; Carla P. Gomes (ICMLA, 2023)

IPGPT: Solving Integer Programming Problems with Sequence to Contrastive Multi-Label Learning. - Shufeng Kong; Caihua Liu; Carla P. Gomes (STRL@IJCAI, 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 (NeurIPS, 2023)

M2Hub: Unlocking the Potential of Machine Learning for Materials Discovery. - Yuanqi Du; Yingheng Wang; Yining Huang; Jianan Canal Li; Yanqiao Zhu 001; Tian Xie; Chenru Duan; John M. Gregoire; Carla Pedro Gomes (NeurIPS, 2023)

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

Keynote: AI for Scientific Discovery and a Sustainable Future. - Carla P. Gomes (PERCOM, 2023)

Xtal2DoS: Attention-based Crystal to Sequence Learning for Density of States Prediction. - Junwen Bai; Yuanqi Du; Yingheng Wang; Shufeng Kong; John M. Gregoire; Carla Gomes 001 (CoRR, 2023)

The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence. - Hector Zenil; Jesper Tegnér; Felipe S. Abrahão; Alexander Lavin; Vipin Kumar 001; Jeremy G. Frey; Adrian Weller; Larisa N. Soldatova; Alan R. Bundy; Nicholas R. Jennings; Koichi Takahashi; Lawrence Hunter; et al. (CoRR, 2023)

Probabilistic Phase Labeling and Lattice Refinement for Autonomous Material Research. - Ming-Chiang Chang; Sebastian Ament; Maximilian Amsler; Duncan R. Sutherland; Lan Zhou; John M. Gregoire; Carla P. Gomes; R. Bruce van Dover; Michael O. Thompson (CoRR, 2023)

Tackling Climate Change with Machine Learning. - David Rolnick; Priya L. Donti; Lynn H. Kaack; Kelly Kochanski; Alexandre Lacoste; Kris Sankaran; Andrew Slavin Ross; Nikola Milojevic-Dupont; Natasha Jaques; Anna Waldman-Brown; Alexandra Sasha Luccioni; Tegan Maharaj; et al. (ACM Comput. Surv., 2023)

Scientific discovery in the age of artificial intelligence. - Hanchen Wang 002; Tianfan Fu; Yuanqi Du; Wenhao Gao 001; Kexin Huang; Ziming Liu; Payal Chandak; Shengchao Liu; Peter Van Katwyk; Andreea Deac; Anima Anandkumar; Karianne Bergen; et al. (Nat., 2023)

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 (AAAI, 2024)

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

Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin. - Zhongdi Qu; Marc Grimson; Yue Mao; Sebastian Heilpern; Imanol Miqueleiz; Felipe Siqueira Pacheco; Alexander Flecker; Carla P. Gomes (CPAIOR (2), 2024)

Critic Loss for Image Classification. - Brendan Hogan Rappazzo; Aaron M. Ferber; Carla Gomes 001 (ICMLA, 2024)

GEM-RAG: Graphical Eigen Memories for Retrieval Augmented Generation. - Brendan Hogan Rappazzo; Yingheng Wang; Aaron M. Ferber; Carla Gomes 001 (ICMLA, 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 (NeurIPS, 2024)

ILP-FORMER: Solving Integer Linear Programming with Sequence to Multi-Label Learning. - Shufeng Kong; Caihua Liu; Carla Gomes 001 (UAI, 2024)

On Size and Hardness Generalization in Unsupervised Learning for the Travelling Salesman Problem. - Yimeng Min; Carla P. Gomes (CoRR, 2024)

React-OT: Optimal Transport for Generating Transition State in Chemical Reactions. - Chenru Duan; Guan-Horng Liu; Yuanqi Du; Tianrong Chen; Qiyuan Zhao; Haojun Jia; Carla P. Gomes; Evangelos A. Theodorou; Heather J. Kulik (CoRR, 2024)

AiSciVision: A Framework for Specializing Large Multimodal Models in Scientific Image Classification. - Brendan Hogan; Anmol Kabra; Felipe Siqueira Pacheco; Laura Greenstreet; Joshua Fan 002; Aaron M. Ferber; Marta Ummus; Alecsander Brito; Olivia J. Graham; Lillian R. Aoki; Drew Harvell; Alex Flecker; et al. (CoRR, 2024)

Structure-based drug design with equivariant diffusion models. - Arne Schneuing; Charles Harris; Yuanqi Du; Kieran Didi; Arian Rokkum Jamasb; Ilia Igashov; Weitao Du; Carla P. Gomes; Tom L. Blundell; Pietro Lio; Max Welling; Michael M. Bronstein; et al. (Nat. Comput. Sci., 2024)

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 (AAAI, 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 014 (AISTATS, 2025)

Reducing Income Variability in Natural Resource Portfolios via Integer Programming. - Laura Greenstreet; Qinru Shi; Marc Grimson; Franz W. Simon; Suresh Andrew Sethi; Carla P. Gomes; Andrea Lodi 001; David B. Shmoys (CPAIOR (2), 2025)

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

On Speeding Up Language Model Evaluation. - Jin Peng Zhou; Christian K. Belardi; Ruihan Wu; Travis Zhang; Carla P. Gomes; Wen Sun 002; Kilian Q. Weinberger (ICLR, 2025)

Optimal transport for generating transition states in chemical reactions. - Chenru Duan; Guan-Horng Liu; Yuanqi Du; Tianrong Chen; Qiyuan Zhao; Haojun Jia; Carla P. Gomes; Evangelos A. Theodorou; Heather J. Kulik (Nat. Mac. Intell., 2025)

AlphaNet: Scaling Up Local Frame-based Atomistic Foundation Model. - Bangchen Yin; Jiaao Wang; Weitao Du; Pengbo Wang; Penghua Ying; Haojun Jia; Zisheng Zhang; Yuanqi Du; Carla P. Gomes; Chenru Duan; Hai Xiao; Graeme Henkelman (CoRR, 2025)

Biogeochemistry-Informed Neural Network (BINN) for Improving Accuracy of Model Prediction and Scientific Understanding of Soil Organic Carbon. - Haodi Xu; Joshua Fan 002; Feng Tao; Lifen Jiang; Fengqi You; Benjamin Z. Houlton; Ying Sun; Carla P. Gomes; Yiqi Luo (CoRR, 2025)

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning. - Yibo Yan; Shen Wang 005; Jiahao Huo; Jingheng Ye; Zhendong Chu; Xuming Hu; Philip S. Yu; Carla P. Gomes; Bart Selman; Qingsong Wen (CoRR, 2025)

No Trick, No Treat: Pursuits and Challenges Towards Simulation-free Training of Neural Samplers. - Jiajun He 003; Yuanqi Du; Francisco Vargas 001; Dinghuai Zhang; Shreyas Padhy; Ruikang Ouyang; Carla P. Gomes; José Miguel Hernández-Lobato (CoRR, 2025)

PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation. - Albert Gong; Kamile Stankeviciute; Chao Wan; Anmol Kabra; Raphael Thesmar; Johann Lee; Julius Klenke; Carla P. Gomes; Kilian Q. Weinberger (CoRR, 2025)

Large Language Models Are Innate Crystal Structure Generators. - Jingru Gan; Peichen Zhong; Yuanqi Du; Yanqiao Zhu 001; Chenru Duan; Haorui Wang; Carla P. Gomes; Kristin A. Persson; Daniel Schwalbe-Koda; Wei Wang 010 (CoRR, 2025)

Unsupervised Learning for Quadratic Assignment. - Yimeng Min; Carla P. Gomes (CoRR, 2025)

Unsupervised Ordering for Maximum Clique. - Yimeng Min; Carla P. Gomes (CoRR, 2025)

FEAT: Free energy Estimators with Adaptive Transport. - Jiajun He 003; Yuanqi Du; Francisco Vargas 001; Yuanqing Wang; Carla P. Gomes; José Miguel Hernández-Lobato; Eric Vanden-Eijnden (CoRR, 2025)

HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization. - Hongzheng Chen; Yingheng Wang; Yaohui Cai; Hins Hu; Jiajie Li; Shirley Huang; Chenhui Deng; Rongjian Liang; Shufeng Kong; Haoxing Ren; Samitha Samaranayake; Carla P. Gomes; et al. (CoRR, 2025)

Scientifically-Interpretable Reasoning Network (ScIReN): Uncovering the Black-Box of Nature. - Joshua Fan 002; Haodi Xu; Feng Tao; Md Nasim; Marc Grimson; Yiqi Luo; Carla P. Gomes (CoRR, 2025)

Structure As Search: Unsupervised Permutation Learning for Combinatorial Optimization. - Yimeng Min; Carla P. Gomes (CoRR, 2025)

Improving Multislice Electron Ptychography with a Generative Prior. - Christian K. Belardi; Chia-Hao Lee; Yingheng Wang; Justin Lovelace; Kilian Q. Weinberger; David A. Muller; Carla P. Gomes (CoRR, 2025)