Carla P. Gomes

307 papers A* 83A 39B 22C 6Misc 4Journal 122Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Adaptive Moments are Surprisingly Effective for Plug-and-Play Diffusion Sampling. CoRR Christian K. Belardi, Justin Lovelace, Kilian Q. Weinberger, Carla P. Gomes
2026	J	`jnl`	Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design. CoRR Hai Xia, Carla P. Gomes, Bart Selman, Stefan Szeider
2026	J	`jnl`	Autonomous Materials Exploration by Integrating Automated Phase Identification and AI-Assisted Human Reasoning. CoRR Ming-Chiang Chang, Maximilian Amsler, Duncan R. Sutherland, Sebastian Ament, Katie R. Gann, Lan Zhou, Louisa M. Smieska, Arthur R. Woll, John M. Gregoire, Carla P. Gomes, R. Bruce van Dover, Michael O. Thompson
2026	J	`jnl`	Graph Neural Networks are Heuristics. CoRR Yimeng Min, Carla P. Gomes
2026	A*	`conf`	LabelKAN - Kolmogorov-Arnold Networks for Inter-Label Learning: Avian Community Learning. AAAI Marc Grimson, Joshua Fan, Courtney L. Davis, Dylan van Bramer, Daniel Fink, Carla P. Gomes
2026	J	`jnl`	LabelKAN - Kolmogorov-Arnold Networks for Inter-Label Learning: Avian Community Learning. CoRR Marc Grimson, Joshua Fan, Courtney L. Davis, Dylan van Bramer, Daniel Fink, Carla P. Gomes
2026	J	`jnl`	Learning from Synthetic Data Improves Multi-hop Reasoning. CoRR Anmol Kabra, Yilun Yin, Albert Gong, Kamile Stankeviciute, Dongyoung Go, Johann Lee, Katie Z. Luo, Carla P. Gomes, Kilian Q. Weinberger
2026	A*	`conf`	Scientifically-Interpretable Reasoning Network (ScIReN): Discovering Hidden Relationships in the Carbon Cycle and Beyond. AAAI Joshua Fan, Haodi Xu, Feng Tao, Md Nasim, Marc Grimson, Yiqi Luo, Carla P. Gomes
2026	J	`jnl`	The future of fundamental science led by generative closed-loop artificial intelligence. Frontiers Artif. Intell. Hector Zenil, Jesper Tegnér, Felipe S. Abrahão, Alexander Lavin, Vipin Kumar, Jeremy G. Frey, Adrian Weller, Larisa N. Soldatova, Alan R. Bundy, Nicholas R. Jennings, Koichi Takahashi, Lawrence Hunter, Saso Dzeroski, Andrew Briggs, Frederick D. Gregory, Carla P. Gomes, Jonathan E. Rowe, James A. Evans, Hiroaki Kitano, Ross D. King
2026	A*	`conf`	Unsupervised Combinatorial Probabilistic Reasoning: Probabilistic Coin Change Problem. AAAI Zhongdi Qu, Yingheng Wang, Utku Umur Acikalin, Aaron M. Ferber, Goncalo J. Gouveia, Brandon Bills, Guohui Li, Joshua Kline, Sunandini Yedla, Xiao Wang, Frank C. Schroeder, Carla P. Gomes
2025	J	`jnl`	Accelerating Scientific Discovery with Autonomous Goal-evolving Agents. CoRR Yuanqi Du, Botao Yu, Tianyu Liu, Tony Shen, Junwu Chen, Jan G. Rittig, Kunyang Sun, Yikun Zhang, Zhangde Song, Bo Zhou, Cassandra Masschelein, Yingze Wang, Haorui Wang, Haojun Jia, Chao Zhang, Hongyu Zhao, Martin Ester, Teresa Head-Gordon, Carla P. Gomes, Huan Sun, Chenru Duan, Philippe Schwaller, Wengong Jin
2025	J	`jnl`	AlphaNet: Scaling Up Local Frame-based Atomistic Foundation Model. CoRR 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
2025	J	`jnl`	Biogeochemistry-Informed Neural Network (BINN) for Improving Accuracy of Model Prediction and Scientific Understanding of Soil Organic Carbon. CoRR Haodi Xu, Joshua Fan, Feng Tao, Lifen Jiang, Fengqi You, Benjamin Z. Houlton, Ying Sun, Carla P. Gomes, Yiqi Luo
2025	A*	`conf`	Constraint-aware Pareto Optimization for Tree-Structured Networks: Addressing Decarbonization Targets with Hydropower Expansion. AAAI Marc Grimson, Zhongdi Qu, Yue Mao, Aaron M. Ferber, Felipe Siqueira Pacheco, Sebastian Heilpern, Hector Angarita, Alexander Flecker, Carla P. Gomes
2025	A	`conf`	Diffusion Models as Constrained Samplers for Optimization with Unknown Constraints. AISTATS 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
2025	J	`jnl`	Evaluating Large Language Models in Scientific Discovery. CoRR Zhangde Song, Jieyu Lu, Yuanqi Du, Botao Yu, Thomas M. Pruyn, Yue Huang, Kehan Guo, Xiuzhe Luo, Yuanhao Qu, Yi Qu, Yinkai Wang, Haorui Wang, Jeff Guo, Jingru Gan, Parshin Shojaee, Di Luo, Andres M. Bran, Gen Li, Qiyuan Zhao, Shao-Xiong Lennon Luo, Yuxuan Zhang, Xiang Zou, Wanru Zhao, Yifan F. Zhang, Wucheng Zhang, Shunan Zheng, Saiyang Zhang, Sartaaj Takrim Khan, Mahyar Rajabi Kochi, Samantha Paradi-Maropakis, Tony Baltoiu, Fengyu Xie, Tianyang Chen, Kexin Huang, Weiliang Luo, Meijing Fang, Xin Yang, Lixue Cheng, Jiajun He, Soha Hassoun, Xiangliang Zhang, Wei Wang, Chandan K. Reddy, Chao Zhang, Zhiling Zheng, Mengdi Wang, Le Cong, Carla P. Gomes, Chang-Yu Hsieh, Aditya Nandy, Philippe Schwaller, Heather J. Kulik, Haojun Jia, Huan Sun, Seyed Mohamad Moosavi, Chenru Duan
2025	A*	`conf`	Expanding Connected Components from Alternative Terminals: Global Optimization for Freshwater Fishes Under the UN's 30x30 Conservation Goal. IJCAI 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
2025	J	`jnl`	FEAT: Free energy Estimators with Adaptive Transport. CoRR Jiajun He, Yuanqi Du, Francisco Vargas, Yuanqing Wang, Carla P. Gomes, José Miguel Hernández-Lobato, Eric Vanden-Eijnden
2025	J	`jnl`	HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization. CoRR 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, Zhiru Zhang
2025	—	`conf`	Improving Multislice Electron Ptychography with a Generative Prior. ICCVW Christian K. Belardi, Chia-Hao Lee, Yingheng Wang, Justin Lovelace, Kilian Q. Weinberger, David A. Muller, Carla P. Gomes
2025	J	`jnl`	Improving Multislice Electron Ptychography with a Generative Prior. CoRR Christian K. Belardi, Chia-Hao Lee, Yingheng Wang, Justin Lovelace, Kilian Q. Weinberger, David A. Muller, Carla P. Gomes
2025	J	`jnl`	Large Language Models Are Innate Crystal Structure Generators. CoRR Jingru Gan, Peichen Zhong, Yuanqi Du, Yanqiao Zhu, Chenru Duan, Haorui Wang, Carla P. Gomes, Kristin A. Persson, Daniel Schwalbe-Koda, Wei Wang
2025	A*	`conf`	Learning to Explore and Exploit with GNNs for Unsupervised Combinatorial Optimization. ICLR Utku Umur Acikalin, Aaron M. Ferber, Carla P. Gomes
2025	J	`jnl`	No Trick, No Treat: Pursuits and Challenges Towards Simulation-free Training of Neural Samplers. CoRR Jiajun He, Yuanqi Du, Francisco Vargas, Dinghuai Zhang, Shreyas Padhy, Ruikang Ouyang, Carla P. Gomes, José Miguel Hernández-Lobato
2025	A*	`conf`	On Speeding Up Language Model Evaluation. ICLR Jin Peng Zhou, Christian K. Belardi, Ruihan Wu, Travis Zhang, Carla P. Gomes, Wen Sun, Kilian Q. Weinberger
2025	J	`jnl`	Optimal transport for generating transition states in chemical reactions. Nat. Mac. Intell. Chenru Duan, Guan-Horng Liu, Yuanqi Du, Tianrong Chen, Qiyuan Zhao, Haojun Jia, Carla P. Gomes, Evangelos A. Theodorou, Heather J. Kulik
2025	A*	`conf`	PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation. ICML Albert Gong, Kamile Stankeviciute, Chao Wan, Anmol Kabra, Raphael Thesmar, Johann Lee, Julius Klenke, Carla P. Gomes, Kilian Q. Weinberger
2025	J	`jnl`	PhantomWiki: On-Demand Datasets for Reasoning and Retrieval Evaluation. CoRR Albert Gong, Kamile Stankeviciute, Chao Wan, Anmol Kabra, Raphael Thesmar, Johann Lee, Julius Klenke, Carla P. Gomes, Kilian Q. Weinberger
2025	J	`jnl`	Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning. CoRR Yibo Yan, Shen Wang, Jiahao Huo, Jingheng Ye, Zhendong Chu, Xuming Hu, Philip S. Yu, Carla P. Gomes, Bart Selman, Qingsong Wen
2025	—	`conf`	Reducing Income Variability in Natural Resource Portfolios via Integer Programming. CPAIOR (2) Laura Greenstreet, Qinru Shi, Marc Grimson, Franz W. Simon, Suresh Andrew Sethi, Carla P. Gomes, Andrea Lodi, David B. Shmoys
2025	J	`jnl`	Scientifically-Interpretable Reasoning Network (ScIReN): Uncovering the Black-Box of Nature. CoRR Joshua Fan, Haodi Xu, Feng Tao, Md Nasim, Marc Grimson, Yiqi Luo, Carla P. Gomes
2025	J	`jnl`	Structure As Search: Unsupervised Permutation Learning for Combinatorial Optimization. CoRR Yimeng Min, Carla P. Gomes
2025	J	`jnl`	Unsupervised Learning for Quadratic Assignment. CoRR Yimeng Min, Carla P. Gomes
2025	J	`jnl`	Unsupervised Ordering for Maximum Clique. CoRR Yimeng Min, Carla P. Gomes
2024	J	`jnl`	AiSciVision: A Framework for Specializing Large Multimodal Models in Scientific Image Classification. CoRR Brendan Hogan, Anmol Kabra, Felipe Siqueira Pacheco, Laura Greenstreet, Joshua Fan, Aaron M. Ferber, Marta Ummus, Alecsander Brito, Olivia J. Graham, Lillian R. Aoki, Drew Harvell, Alex Flecker, Carla P. Gomes
2024	A*	`conf`	Conformal Crystal Graph Transformer with Robust Encoding of Periodic Invariance. AAAI Yingheng Wang, Shufeng Kong, John M. Gregoire, Carla P. Gomes
2024	J	`jnl`	Critic Loss for Image Classification. CoRR Brendan H. Rappazzo, Aaron M. Ferber, Carla P. Gomes
2024	J	`jnl`	Diffusion Models as Constrained Samplers for Optimization with Unknown Constraints. CoRR Lingkai Kong, Yuanqi Du, Wenhao Mu, Kirill Neklyudov, Valentin De Bortoli, Haorui Wang, Dongxia Wu, Aaron M. Ferber, Yi-An Ma, Carla P. Gomes, Chao Zhang
2024	A*	`conf`	Doob's Lagrangian: A Sample-Efficient Variational Approach to Transition Path Sampling. NeurIPS Yuanqi Du, Michael Plainer, Rob Brekelmans, Chenru Duan, Frank Noé, Carla P. Gomes, Alán Aspuru-Guzik, Kirill Neklyudov
2024	J	`jnl`	Doob's Lagrangian: A Sample-Efficient Variational Approach to Transition Path Sampling. CoRR Yuanqi Du, Michael Plainer, Rob Brekelmans, Chenru Duan, Frank Noé, Carla P. Gomes, Alán Aspuru-Guzik, Kirill Neklyudov
2024	J	`jnl`	GEM-RAG: Graphical Eigen Memories For Retrieval Augmented Generation. CoRR Brendan H. Rappazzo, Yingheng Wang, Aaron M. Ferber, Carla P. Gomes
2024	J	`jnl`	On Size and Hardness Generalization in Unsupervised Learning for the Travelling Salesman Problem. CoRR Yimeng Min, Carla P. Gomes
2024	J	`jnl`	On Speeding Up Language Model Evaluation. CoRR Jin Peng Zhou, Christian K. Belardi, Ruihan Wu, Travis Zhang, Carla P. Gomes, Wen Sun, Kilian Q. Weinberger
2024	J	`jnl`	React-OT: Optimal Transport for Generating Transition State in Chemical Reactions. CoRR Chenru Duan, Guan-Horng Liu, Yuanqi Du, Tianrong Chen, Qiyuan Zhao, Haojun Jia, Carla P. Gomes, Evangelos A. Theodorou, Heather J. Kulik
2024	A*	`conf`	Scaling Up Pareto Optimization for Tree Structures with Affine Transformations: Evaluating Hybrid Floating Solar-Hydropower Systems in the Amazon. AAAI Marc Grimson, Rafael Almeida, Qinru Shi, Yiwei Bai, Hector Angarita, Felipe Siqueira Pacheco, Rafael Schmitt, Alexander Flecker, Carla P. Gomes
2024	—	`conf`	Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin. CPAIOR (2) Zhongdi Qu, Marc Grimson, Yue Mao, Sebastian Heilpern, Imanol Miqueleiz, Felipe Siqueira Pacheco, Alexander Flecker, Carla P. Gomes
2024	J	`jnl`	Structure-based drug design with equivariant diffusion models. Nat. Comput. Sci. 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, Bruno E. Correia
2023	A	`conf`	A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). CP Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes
2023	A*	`conf`	A new perspective on building efficient and expressive 3D equivariant graph neural networks. NeurIPS Weitao Du, Yuanqi Du, Limei Wang, Dieqiao Feng, Guifeng Wang, Shuiwang Ji, Carla P. Gomes, Zhi-Ming Ma
2023	B	`conf`	Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured Networks Using Expansion and Compression. CPAIOR Yiwei Bai, Qinru Shi, Marc Grimson, Alexander Flecker, Carla P. Gomes
2023	—	`conf`	IPGPT: Solving Integer Programming Problems with Sequence to Contrastive Multi-Label Learning. STRL@IJCAI Shufeng Kong, Caihua Liu, Carla P. Gomes
2023	A*	`conf`	Keynote: AI for Scientific Discovery and a Sustainable Future. PERCOM Carla P. Gomes
2023	J	`jnl`	M CoRR Yuanqi Du, Yingheng Wang, Yining Huang, Jianan Canal Li, Yanqiao Zhu, Tian Xie, Chenru Duan, John M. Gregoire, Carla P. Gomes
2023	C	`conf`	Physically Informed Graph-Based Deep Reasoning Net for Efficient Combinatorial Phase Mapping. ICMLA Yimeng Min, Ming-Chiang Chang, Shufeng Kong, John M. Gregoire, R. Bruce van Dover, Michael O. Thompson, Carla P. Gomes
2023	J	`jnl`	Probabilistic Phase Labeling and Lattice Refinement for Autonomous Material Research. CoRR 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
2023	A	`conf`	Provable Optimization of Quantal Response Leader-Follower Games with Exponentially Large Action Spaces. AAMAS Jinzhao Li, Daniel Fink, Christopher Wood, Carla P. Gomes, Yexiang Xue
2023	J	`jnl`	Scientific discovery in the age of artificial intelligence. Nat. Hanchen Wang, Tianfan Fu, Yuanqi Du, Wenhao Gao, Kexin Huang, Ziming Liu, Payal Chandak, Shengchao Liu, Peter Van Katwyk, Andreea Deac, Anima Anandkumar, Karianne Bergen, Carla P. Gomes, Shirley Ho, Pushmeet Kohli, Joan Lasenby, Jure Leskovec, Tie-Yan Liu, Arjun K. Manrai, Debora S. Marks, Bharath Ramsundar, Le Song, Jimeng Sun, Jian Tang, Petar Velickovic, Max Welling, Linfeng Zhang, Connor W. Coley, Yoshua Bengio, Marinka Zitnik
2023	J	`jnl`	Tackling Climate Change with Machine Learning. ACM Comput. Surv. 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, Evan D. Sherwin, S. Karthik Mukkavilli, Konrad P. Kording, Carla P. Gomes, Andrew Y. Ng, Demis Hassabis, John C. Platt, Felix Creutzig, Jennifer T. Chayes, Yoshua Bengio
2023	J	`jnl`	The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence. CoRR Hector Zenil, Jesper Tegnér, Felipe S. Abrahão, Alexander Lavin, Vipin Kumar, Jeremy G. Frey, Adrian Weller, Larisa N. Soldatova, Alan R. Bundy, Nicholas R. Jennings, Koichi Takahashi, Lawrence Hunter, Saso Dzeroski, Andrew Briggs, Frederick D. Gregory, Carla P. Gomes, Christopher K. I. Williams, Jonathan E. Rowe, James A. Evans, Hiroaki Kitano, Joshua B. Tenenbaum, Ross D. King
2023	A*	`conf`	Unsupervised Learning for Solving the Travelling Salesman Problem. NeurIPS Yimeng Min, Yiwei Bai, Carla P. Gomes
2023	J	`jnl`	Unsupervised Learning for Solving the Travelling Salesman Problem. CoRR Yimeng Min, Yiwei Bai, Carla P. Gomes
2023	A*	`conf`	Weighted Sampling without Replacement for Deep Top-k Classification. ICML Dieqiao Feng, Yuanqi Du, Carla P. Gomes, Bart Selman
2022	A*	`conf`	A GNN-RNN Approach for Harnessing Geospatial and Temporal Information: Application to Crop Yield Prediction. AAAI Joshua Fan, Junwen Bai, Zhiyun Li, Ariel Ortiz-Bobea, Carla P. Gomes
2022	J	`jnl`	Efficient projection algorithms onto the weighted Artif. Intell. Guillaume Perez, Sebastian Ament, Carla P. Gomes, Michel Barlaud
2022	A*	`conf`	Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification. ICML Junwen Bai, Shufeng Kong, Carla P. Gomes
2022	Misc	`conf`	Generalized Matching Pursuits for the Sparse Optimization of Separable Objectives. ICASSP Sebastian Ament, Carla P. Gomes
2022	J	`jnl`	Graph Value Iteration. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2022	A*	`conf`	Is High Variance Unavoidable in RL? A Case Study in Continuous Control. ICLR Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger
2022	A*	`conf`	Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. NeurIPS Dieqiao Feng, Carla P. Gomes, Bart Selman
2022	J	`jnl`	Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2022	A*	`conf`	Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net. IJCAI Joshua Fan, Di Chen, Jiaming Wen, Ying Sun, Carla P. Gomes
2022	J	`jnl`	Monitoring Vegetation From Space at Extremely Fine Resolutions via Coarsely-Supervised Smooth U-Net. CoRR Joshua Fan, Di Chen, Jiaming Wen, Ying Sun, Carla P. Gomes
2022	A*	`conf`	Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation. ICML Sebastian E. Ament, Carla P. Gomes
2022	J	`jnl`	Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation. CoRR Sebastian Ament, Carla P. Gomes
2022	A	`conf`	The Fast Kernel Transform. AISTATS John Paul Ryan, Sebastian E. Ament, Carla P. Gomes, Anil Damle
2021	J	`jnl`	A GNN-RNN Approach for Harnessing Geospatial and Temporal Information: Application to Crop Yield Prediction. CoRR Joshua Fan, Junwen Bai, Zhiyun Li, Ariel Ortiz-Bobea, Carla P. Gomes
2021	J	`jnl`	A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2021	A*	`conf`	Accelerating Ecological Sciences from Above: Spatial Contrastive Learning for Remote Sensing. AAAI Johan Bjorck, Brendan H. Rappazzo, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P. Gomes
2021	J	`jnl`	Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. CoRR Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
2021	J	`jnl`	Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. Nat. Mach. Intell. Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
2021	J	`jnl`	Autonomous synthesis of metastable materials. CoRR 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
2021	A	`conf`	CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games. CP Yiwei Bai, Di Chen, Carla P. Gomes
2021	A*	`conf`	Characterizing the Loss Landscape in Non-Negative Matrix Factorization. AAAI Johan Bjorck, Anmol Kabra, Kilian Q. Weinberger, Carla P. Gomes
2021	J	`jnl`	Constrained Machine Learning: The Bagel Framework. CoRR Guillaume Perez, Sebastian Ament, Carla P. Gomes, Arnaud Lallouet
2021	A*	`conf`	Contrastively Disentangled Sequential Variational Autoencoder. NeurIPS Junwen Bai, Weiran Wang, Carla P. Gomes
2021	J	`jnl`	Contrastively Disentangled Sequential Variational Autoencoder. CoRR Junwen Bai, Weiran Wang, Carla P. Gomes
2021	A*	`conf`	EeLISA: Combating Global Warming Through the Rapid Analysis of Eelgrass Wasting Disease. AAAI Brendan H. Rappazzo, Morgan E. Eisenlord, Olivia J. Graham, Lillian R. Aoki, Phoebe D. Dawkins, Drew Harvell, Carla P. Gomes
2021	J	`jnl`	Evaluating Multi-label Classifiers with Noisy Labels. CoRR Wenting Zhao, Carla P. Gomes
2021	—	`ch.`	Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability Carla P. Gomes, Ashish Sabharwal
2021	J	`jnl`	Gaussian Mixture Variational Autoencoder with Contrastive Learning for Multi-Label Classification. CoRR Junwen Bai, Shufeng Kong, Carla P. Gomes
2021	A*	`conf`	HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders. AAAI Wenting Zhao, Shufeng Kong, Junwen Bai, Daniel Fink, Carla P. Gomes
2021	J	`jnl`	HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders. CoRR Wenting Zhao, Shufeng Kong, Junwen Bai, Daniel Fink, Carla P. Gomes
2021	J	`jnl`	Is High Variance Unavoidable in RL? A Case Study in Continuous Control. CoRR Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger
2021	B	`conf`	Keynote 2 - Computational Sustainability: Computing for a Better World and a Sustainable Future. SMARTCOMP Carla P. Gomes
2021	A*	`conf`	Learning Augmented Methods for Matching: Improving Invasive Species Management and Urban Mobility. AAAI Johan Bjorck, Qinru Shi, Carrie Brown-Lima, Jennifer Dean, Angela Fuller, Carla P. Gomes
2021	J	`jnl`	Low-Precision Reinforcement Learning. CoRR Johan Bjorck, Xiangyu Chen, Christopher De Sa, Carla P. Gomes, Kilian Q. Weinberger
2021	A*	`conf`	Low-Precision Reinforcement Learning: Running Soft Actor-Critic in Half Precision. ICML Johan Björck, Xiangyu Chen, Christopher De Sa, Carla P. Gomes, Kilian Q. Weinberger
2021	J	`jnl`	Materials Representation and Transfer Learning for Multi-Property Prediction. CoRR Shufeng Kong, Dan Guevarra, Carla P. Gomes, John M. Gregoire
2021	—	`ch.`	Model Counting. Handbook of Satisfiability Carla P. Gomes, Ashish Sabharwal, Bart Selman
2021	Misc	`conf`	On the Optimality of Backward Regression: Sparse Recovery and Subset Selection. ICASSP Sebastian Ament, Carla P. Gomes
2021	J	`jnl`	On the Optimality of Backward Regression: Sparse Recovery and Subset Selection. CoRR Sebastian Ament, Carla P. Gomes
2021	A*	`conf`	Sparse Bayesian Learning via Stepwise Regression. ICML Sebastian E. Ament, Carla P. Gomes
2021	J	`jnl`	Sparse Bayesian Learning via Stepwise Regression. CoRR Sebastian Ament, Carla P. Gomes
2021	J	`jnl`	The Fast Kernel Transform. CoRR John Paul Ryan, Sebastian Ament, Carla P. Gomes, Anil Damle
2021	A*	`conf`	Towards Deeper Deep Reinforcement Learning with Spectral Normalization. NeurIPS Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger
2021	J	`jnl`	Towards Deeper Deep Reinforcement Learning. CoRR Johan Bjorck, Carla P. Gomes, Kilian Q. Weinberger
2021	A*	`conf`	Understanding Decoupled and Early Weight Decay. AAAI Johan Bjorck, Kilian Q. Weinberger, Carla P. Gomes
2021	J	`jnl`	Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems. CoRR Yiwei Bai, Wenting Zhao, Carla P. Gomes
2020	A*	`conf`	A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. NeurIPS Dieqiao Feng, Carla P. Gomes, Bart Selman
2020	A	`conf`	AI for Advancing Scientific Discovery for a Sustainable Future. AAMAS Carla P. Gomes
2020	A*	`conf`	Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation. IJCAI Shufeng Kong, Junwen Bai, Jae Hee Lee, Di Chen, Andrew Allyn, Michelle Stuart, Malin Pinsky, Katherine Mills, Carla P. Gomes
2020	J	`jnl`	Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation. CoRR Shufeng Kong, Junwen Bai, Jae Hee Lee, Di Chen, Andrew Allyn, Michelle Stuart, Malin Pinsky, Katherine Mills, Carla P. Gomes
2020	A*	`conf`	Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning. ICML Di Chen, Yiwei Bai, Wenting Zhao, Sebastian Ament, John M. Gregoire, Carla P. Gomes
2020	A*	`conf`	Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model. IJCAI Junwen Bai, Shufeng Kong, Carla P. Gomes
2020	J	`jnl`	Disentangled Variational Autoencoder based Multi-Label Classification with Covariance-Aware Multivariate Probit Model. CoRR Junwen Bai, Shufeng Kong, Carla P. Gomes
2020	J	`jnl`	Efficient Projection Algorithms onto the Weighted l1 Ball. CoRR Guillaume Perez, Sebastian Ament, Carla P. Gomes, Michel Barlaud
2020	A*	`conf`	Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. IJCAI Dieqiao Feng, Carla P. Gomes, Bart Selman
2020	J	`jnl`	Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2020	A*	`conf`	Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance. IJCAI Di Chen, Yada Zhu, Xiaodong Cui, Carla P. Gomes
2020	J	`jnl`	Understanding Decoupled and Early Weight Decay. CoRR Johan Bjorck, Kilian Q. Weinberger, Carla P. Gomes
2019	A*	`conf`	Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant. AAAI Johan Bjorck, Brendan H. Rappazzo, Di Chen, Richard Bernstein, Peter H. Wrege, Carla P. Gomes
2019	J	`jnl`	Automatic Detection and Compression for Passive Acoustic Monitoring of the African Forest Elephant. CoRR Johan Bjorck, Brendan Rappazzo, Di Chen, Richard Bernstein, Peter H. Wrege, Carla P. Gomes
2019	A*	`conf`	Bias Reduction via End-to-End Shift Learning: Application to Citizen Science. AAAI Di Chen, Carla P. Gomes
2019	C	`conf`	CPU-accelerated principal-agent game for scalable citizen science. COMPASS Anmol Kabra, Yexiang Xue, Carla P. Gomes
2019	—	`conf`	Computational Sustainability. ICAART (1) Carla P. Gomes
2019	J	`jnl`	Computational sustainability: computing for a better world and a sustainable future. Commun. ACM Carla P. Gomes, Thomas G. Dietterich, Christopher Barrett, Jon Conrad, Bistra Dilkina, Stefano Ermon, Fei Fang, Andrew Farnsworth, Alan Fern, Xiaoli Z. Fern, Daniel Fink, Douglas H. Fisher, Alexander Flecker, Daniel Freund, Angela Fuller, John M. Gregoire, John E. Hopcroft, Steve Kelling, J. Zico Kolter, Warren B. Powell, Nicole D. Sintov, John S. Selker, Bart Selman, Daniel Sheldon, David B. Shmoys, Milind Tambe, Weng-Keen Wong, Christopher Wood, Xiaojian Wu, Yexiang Xue, Amulya Yadav, Abdul-Aziz Yakubu, Mary Lou Zeeman
2019	J	`jnl`	Deep Reasoning Networks: Thinking Fast and Slow. CoRR Di Chen, Yiwei Bai, Wenting Zhao, Sebastian Ament, John M. Gregoire, Carla P. Gomes
2019	J	`jnl`	Exponentially-Modified Gaussian Mixture Model: Applications in Spectroscopy. CoRR Sebastian Ament, John M. Gregoire, Carla P. Gomes
2019	Misc	`conf`	Imitation Refinement for X-ray Diffraction Signal Processing. ICASSP Junwen Bai, Zihang Lai, Runzhe Yang, Yexiang Xue, John M. Gregoire, Carla P. Gomes
2019	J	`jnl`	Intelligent systems for geosciences: an essential research agenda. Commun. ACM Yolanda Gil, Suzanne A. Pierce, Hassan A. Babaie, Arindam Banerjee, Kirk D. Borne, Gary S. Bust, Michelle Cheatham, Imme Ebert-Uphoff, Carla P. Gomes, Mary C. Hill, John D. Horel, Leslie Hsu, Jim Kinter, Craig A. Knoblock, David M. Krum, Vipin Kumar, Pierre F. J. Lermusiaux, Yan Liu, Chris North, Victor Pankratius, Shanan Peters, Beth Plale, Allen Pope, Sai Ravela, Juan Restrepo, Aaron J. Ridley, Hanan Samet, Shashi Shekhar
2019	C	`ed.`	Proceedings of the Conference on Computing & Sustainable Societies, COMPASS 2019, Accra, Ghana, July 3-5, 2019. COMPASS Jay Chen, Jennifer Mankoff, Carla P. Gomes
2019	J	`jnl`	Tackling Climate Change with Machine Learning. CoRR 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 Luccioni, Tegan Maharaj, Evan D. Sherwin, S. Karthik Mukkavilli, Konrad P. Körding, Carla P. Gomes, Andrew Y. Ng, Demis Hassabis, John C. Platt, Felix Creutzig, Jennifer T. Chayes, Yoshua Bengio
2019	J	`jnl`	Task-Based Learning via Task-Oriented Prediction Network. CoRR Di Chen, Yada Zhu, Xiaodong Cui, Carla P. Gomes
2018	B	`conf`	An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science. CPAIOR Junwen Bai, Sebastian Ament, Guillaume Perez, John M. Gregoire, Carla P. Gomes
2018	J	`jnl`	Bias Reduction via End-to-End Shift Learning: Application to Citizen Science. CoRR Di Chen, Carla P. Gomes
2018	B	`conf`	Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks. CPAIOR Jonathan Michael Gomes Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Alexander S. Flecker, Carla P. Gomes
2018	A*	`conf`	Efficiently Approximating the Pareto Frontier: Hydropower Dam Placement in the Amazon Basin. AAAI Xiaojian Wu, Jonathan Gomes-Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Elizabeth Anderson, Suresh Sethi, Scott Steinschneider, Alexander Flecker, Carla P. Gomes
2018	C	`conf`	Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework. COMPASS Qinru Shi, Jonathan Michael Gomes Selman, Roosevelt García-Villacorta, Suresh Sethi, Alexander S. Flecker, Carla P. Gomes
2018	A*	`conf`	End-to-End Learning for the Deep Multivariate Probit Model. ICML Di Chen, Yexiang Xue, Carla P. Gomes
2018	J	`jnl`	End-to-End Learning for the Deep Multivariate Probit Model. CoRR Di Chen, Yexiang Xue, Carla P. Gomes
2018	A	`conf`	Extending the Capacity of 1 / f Noise Generation. CP Guillaume Perez, Brendan Rappazzo, Carla P. Gomes
2018	J	`jnl`	Imitation Refinement. CoRR Junwen Bai, Runzhe Yang, Yexiang Xue, John M. Gregoire, Carla P. Gomes
2018	A*	`conf`	Multi-Entity Dependence Learning With Rich Context via Conditional Variational Auto-Encoder. AAAI Luming Tang, Yexiang Xue, Di Chen, Carla P. Gomes
2018	J	`jnl`	Phase Mapper: Accelerating Materials Discovery with AI. AI Mag. Junwen Bai, Yexiang Xue, Johan Bjorck, Ronan Le Bras, Brendan Rappazzo, Richard Bernstein, Santosh K. Suram, Robert Bruce van Dover, John M. Gregoire, Carla P. Gomes
2018	A*	`conf`	Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Networks. AAAI Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes
2018	A*	`conf`	Understanding Batch Normalization. NeurIPS Johan Bjorck, Carla P. Gomes, Bart Selman, Kilian Q. Weinberger
2018	J	`jnl`	Understanding Batch Normalization. CoRR Johan Bjorck, Carla P. Gomes, Bart Selman
2017	A*	`conf`	Deep Multi-species Embedding. IJCAI Di Chen, Yexiang Xue, Daniel Fink, Shuo Chen, Carla P. Gomes
2017	A*	`conf`	Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information. AAAI Yexiang Xue, Xiaojian Wu, Dana Morin, Bistra Dilkina, Angela Fuller, J. Andrew Royle, Carla P. Gomes
2017	B	`conf`	In Search of Balance: The Challenge of Generating Balanced Latin Rectangles. CPAIOR Mateo Díaz, Ronan Le Bras, Carla P. Gomes
2017	—	`conf`	Keynotes: Computational sustainability. SustainIT Carla P. Gomes
2017	J	`jnl`	Multi-Entity Dependence Learning with Rich Context via Conditional Variational Auto-encoder. CoRR Luming Tang, Yexiang Xue, Di Chen, Carla P. Gomes
2017	A*	`conf`	Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. AAAI 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
2017	B	`conf`	Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery. CPAIOR Junwen Bai, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John M. Gregoire, Carla P. Gomes
2017	J	`jnl`	Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network. CoRR Johan Bjorck, Yiwei Bai, Xiaojian Wu, Yexiang Xue, Mark C. Whitmore, Carla P. Gomes
2017	A*	`conf`	XOR-Sampling for Network Design with Correlated Stochastic Events. IJCAI Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes
2017	J	`jnl`	XOR-Sampling for Network Design with Correlated Stochastic Events. CoRR Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes
2016	A	`conf`	Avicaching: A Two Stage Game for Bias Reduction in Citizen Science. AAMAS Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes
2016	A	`conf`	Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. CP Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes
2016	J	`jnl`	Deep Multi-Species Embedding. CoRR Di Chen, Yexiang Xue, Shuo Chen, Daniel Fink, Carla P. Gomes
2016	J	`jnl`	Phase-Mapper: An AI Platform to Accelerate High Throughput Materials Discovery. CoRR 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
2016	—	`conf`	Solving Marginal MAP Problems with NP Oracles and Parity Constraints. NIPS Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman
2016	J	`jnl`	Solving Marginal MAP Problems with NP Oracles and Parity Constraints. CoRR Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman
2016	A*	`conf`	Variable Elimination in the Fourier Domain. ICML Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman
2015	A*	`conf`	Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa. AAAI Stefano Ermon, Yexiang Xue, Russell Toth, Bistra Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick E. Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes
2015	A*	`conf`	Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. AAAI Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover
2015	—	`conf`	Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. AAAI Workshop: Computational Sustainability Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
2015	A*	`conf`	Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. IJCAI Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
2015	J	`jnl`	Variable Elimination in Fourier Domain. CoRR Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman
2014	B	`conf`	A Human Computation Framework for Boosting Combinatorial Solvers. HCOMP Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman
2014	A*	`conf`	Challenges in Materials Discovery - Synthetic Generator and Real Datasets. AAAI Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover
2014	J	`jnl`	Computational Sustainability. AI Mag. Eric Eaton, Carla P. Gomes, Brian Charles Williams
2014	J	`jnl`	Computational Sustainability: Editorial Introduction to the Summer and Fall Issues. AI Mag. Eric Eaton, Carla P. Gomes, Brian Charles Williams
2014	J	`jnl`	Crowdsourcing Meets Ecology: Hemisphere-Wide Spatiotemporal Species Distribution Models. AI Mag. Daniel Fink, Theodoros Damoulas, Nicholas E. Bruns, Frank A. La Sorte, Wesley M. Hochachka, Carla P. Gomes, Steve Kelling
2014	A*	`conf`	Designing Fast Absorbing Markov Chains. AAAI Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2014	A*	`conf`	Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2014	J	`jnl`	On the Erdos Discrepancy Problem. CoRR Ronan Le Bras, Carla P. Gomes, Bart Selman
2014	A	`conf`	On the Erdős Discrepancy Problem. CP Ronan Le Bras, Carla P. Gomes, Bart Selman
2014	J	`jnl`	Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. CoRR Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover
2014	B	`conf`	String Kernels for Complex Time-Series: Counting Targets from Sensed Movement. ICPR Theodoros Damoulas, Jin He, Richard Bernstein, Carla P. Gomes, Anish Arora
2014	J	`jnl`	Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Ann. Math. Artif. Intell. Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2014	A*	`conf`	Uncovering Hidden Structure through Parallel Problem Decomposition. AAAI Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
2013	J	`jnl`	A Bayesian Approach to Tackling Hard Computational Problems CoRR Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2013	J	`jnl`	A Human/Computer Learning Network to Improve Biodiversity Conservation and Research. AI Mag. Steve Kelling, Jeff Gerbracht, Daniel Fink, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Carla P. Gomes
2013	J	`jnl`	Algorithm Portfolio Design: Theory vs. Practice CoRR Carla P. Gomes, Bart Selman
2013	A*	`conf`	Crowdsourcing Backdoor Identification for Combinatorial Optimization. IJCAI Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover
2013	A*	`conf`	Double-Wheel Graphs Are Graceful. IJCAI Ronan LeBras, Carla P. Gomes, Bart Selman
2013	—	`conf`	Embed and Project: Discrete Sampling with Universal Hashing. NIPS Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	B	`conf`	Improving Your Chances: Boosting Citizen Science Discovery. HCOMP Yexiang Xue, Bistra Dilkina, Theodoros Damoulas, Daniel Fink, Carla P. Gomes, Steve Kelling
2013	B	`ed.`	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings CPAIOR Carla P. Gomes, Meinolf Sellmann
2013	A*	`conf`	Large Landscape Conservation - Synthetic and Real-World Datasets. AAAI 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
2013	J	`jnl`	Learning policies for battery usage optimization in electric vehicles. Mach. Learn. Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman
2013	A	`conf`	Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	J	`jnl`	Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	A*	`conf`	Robust Network Design For Multispecies Conservation. AAAI Ronan LeBras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery
2013	A	`conf`	Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman
2013	J	`jnl`	Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization CoRR Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	—	`conf`	Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2012	—	`conf`	Density Propagation and Improved Bounds on the Partition Function. NIPS Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2012	A*	`conf`	From Streamlined Combinatorial Search to Efficient Constructive Procedures. AAAI Ronan LeBras, Carla P. Gomes, Bart Selman
2012	—	`conf`	Learning Policies for Battery Usage Optimization in Electric Vehicles. ECML/PKDD (2) Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman
2012	J	`jnl`	Maximizing the Spread of Cascades Using Network Design CoRR 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
2012	J	`jnl`	Playing games against nature: optimal policies for renewable resource allocation CoRR Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
2012	A	`conf`	Probabilistic planning with non-linear utility functions and worst-case guarantees. AAMAS Stefano Ermon, Carla P. Gomes, Bart Selman, Alexander Vladimirsky
2012	A	`conf`	SMT-Aided Combinatorial Materials Discovery. SAT Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover
2012	J	`jnl`	Uniform Solution Sampling Using a Constraint Solver As an Oracle CoRR Stefano Ermon, Carla P. Gomes, Bart Selman
2012	A	`conf`	Uniform Solution Sampling Using a Constraint Solver As an Oracle. UAI Stefano Ermon, Carla P. Gomes, Bart Selman
2012	C	`conf`	eBird: A Human/Computer Learning Network for Biodiversity Conservation and Research. IAAI Steve Kelling, Jeff Gerbracht, Daniel Fink, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Carla P. Gomes
2011	A*	`conf`	A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. IJCAI Stefano Ermon, Carla P. Gomes, Bart Selman
2011	A	`conf`	A message passing approach to multiagent gaussian inference for dynamic processes. AAMAS Stefano Ermon, Carla P. Gomes, Bart Selman
2011	—	`conf`	Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2011	B	`conf`	Computational Sustainability. IDA Carla P. Gomes
2011	A	`conf`	Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. CP Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover
2011	A*	`conf`	Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems. IJCAI Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla P. Gomes, Yrjö T. Gröhn
2011	J	`jnl`	Generating highly balanced sudoku problems as hard problems. J. Heuristics Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu
2011	J	`jnl`	Introduction to special issue on computational sustainability. ACM Trans. Intell. Syst. Technol. Carla P. Gomes, Qiang Yang
2011	A*	`conf`	Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. IJCAI Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
2011	A*	`conf`	The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species. AAAI Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery
2011	B	`conf`	Upgrading Shortest Paths in Networks. CPAIOR Bistra Dilkina, Katherine J. Lai, Carla P. Gomes
2010	A	`conf`	An Empirical Study of Optimization for Maximizing Diffusion in Networks. CP Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2010	C	`conf`	Bayesian Classification of Flight Calls with a Novel Dynamic Time Warping Kernel. ICMLA Theodoros Damoulas, Samuel Henry, Andrew Farnsworth, Michael Lanzone, Carla P. Gomes
2010	B	`conf`	Challenges for CPAIOR in Computational Sustainability. CPAIOR Carla P. Gomes
2010	A	`conf`	Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. AAMAS Stefano Ermon, Carla P. Gomes, Bart Selman
2010	A	`conf`	Computing the Density of States of Boolean Formulas. CP Stefano Ermon, Carla P. Gomes, Bart Selman
2010	A	`conf`	Maximizing the Spread of Cascades Using Network Design. UAI 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
2010	A	`conf`	Playing games against nature: optimal policies for renewable resource allocation. UAI Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
2010	B	`conf`	Solving Connected Subgraph Problems in Wildlife Conservation. CPAIOR Bistra Dilkina, Carla P. Gomes
2009	J	`jnl`	A generative power-law search tree model. Comput. Oper. Res. Alda Carvalho, Nuno Crato, Carla P. Gomes
2009	A	`conf`	Backdoors in the Context of Learning. SAT Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2009	B	`conf`	Backdoors to Combinatorial Optimization: Feasibility and Optimality. CPAIOR Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann
2009	A	`conf`	Challenges for Constraint Reasoning and Optimization in Computational Sustainability. CP Carla P. Gomes
2009	—	`ch.`	Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability Carla P. Gomes, Ashish Sabharwal
2009	A*	`conf`	Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
2009	A*	`conf`	Learning Optimal Subsets with Implicit User Preferences. IJCAI Yunsong Guo, Carla P. Gomes
2009	—	`ch.`	Model Counting. Handbook of Satisfiability Carla P. Gomes, Ashish Sabharwal, Bart Selman
2009	A*	`conf`	Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search. IJCAI Yunsong Guo, Carla P. Gomes
2008	B	`conf`	Connections in Networks: A Hybrid Approach. CPAIOR Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal
2008	A*	`ed.`	Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 AAAI Dieter Fox, Carla P. Gomes
2008	—	`ch.`	Satisfiability Solvers. Handbook of Knowledge Representation Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman
2008	Misc	`conf`	Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. ISAIM Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2007	B	`conf`	Connections in Networks: Hardness of Feasibility Versus Optimality. CPAIOR Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter
2007	A*	`conf`	Counting CSP Solutions Using Generalized XOR Constraints. AAAI Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman
2007	A*	`conf`	From Sampling to Model Counting. IJCAI Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007	A*	`conf`	Optimal Multi-Agent Scheduling with Constraint Programming. AAAI Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi
2007	J	`jnl`	Regular-SAT: A many-valued approach to solving combinatorial problems. Discret. Appl. Math. Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes
2007	A*	`conf`	SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz
2007	—	`conf`	Sampling and Soundness: Can We Have Both? New Forms of Reasoning for the Semantic Web Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007	A	`conf`	Short XORs for Model Counting: From Theory to Practice. SAT Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007	J	`jnl`	Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning CoRR Jörg Hoffmann, Carla P. Gomes, Bart Selman
2007	J	`jnl`	Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Log. Methods Comput. Sci. Jörg Hoffmann, Carla P. Gomes, Bart Selman
2007	A*	`conf`	The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2007	A	`conf`	Tradeoffs in the Complexity of Backdoor Detection. CP Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
2006	—	`conf`	Adventures in Randomized Computational Methods. AI&M Carla P. Gomes
2006	—	`conf`	Constraint Programming for Distributed Planning and Scheduling. AAAI Spring Symposium: Distributed Plan and Schedule Management Carla P. Gomes, Willem Jan van Hoeve, Bart Selman
2006	A*	`conf`	Model Counting: A New Strategy for Obtaining Good Bounds. AAAI Carla P. Gomes, Ashish Sabharwal, Bart Selman
2006	—	`conf`	Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS Carla P. Gomes, Ashish Sabharwal, Bart Selman
2006	A	`conf`	QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. SAT Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman
2006	—	`ch.`	Randomness and Structure. Handbook of Constraint Programming Carla P. Gomes, Toby Walsh
2006	A*	`conf`	Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. ICAPS Jörg Hoffmann, Carla P. Gomes, Bart Selman
2006	A*	`conf`	The Impact of Balancing on Problem Hardness in a Highly Structured Domain. AAAI Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu
2006	B	`conf`	The Power of Semidefinite Programming Relaxations for MAX-SAT. CPAIOR Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu
2006	A	`ed.`	Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings SAT Armin Biere, Carla P. Gomes
2005	A	`conf`	LP as a Global Search Heuristic Across Different Constrainedness Regions. CP Lucian Leahu, Carla P. Gomes
2005	J	`jnl`	Sensor networks and distributed CSP: communication, computation and complexity. Artif. Intell. Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bhaskar Krishnamachari, Bart Selman, Magda Valls
2005	J	`jnl`	Statistical Regimes Across Constrainedness Regions. Constraints An Int. J. Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière
2005	A*	`conf`	Streamlining Local Search for Spatially Balanced Latin Squares. IJCAI Casey Smith, Carla P. Gomes, Cèsar Fernández
2005	A*	`conf`	The Achilles' Heel of QBF. AAAI Carlos Ansótegui, Carla P. Gomes, Bart Selman
2004	J	`jnl`	An improved approximation algorithm for the partial Latin square extension problem. Oper. Res. Lett. Carla P. Gomes, Rommel G. Regis, David B. Shmoys
2004	J	`jnl`	Approximations and Randomization to Boost CSP Techniques. Ann. Oper. Res. Carla P. Gomes, David B. Shmoys
2004	A	`conf`	Quality of LP-Based Approximations for Highly Combinatorial Problems. CP Lucian Leahu, Carla P. Gomes
2004	A	`conf`	Statistical Regimes Across Constrainedness Regions. CP Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere
2004	A	`conf`	Streamlined Constraint Reasoning. CP Carla P. Gomes, Meinolf Sellmann
2004	A	`conf`	The Cardinality Matrix Constraint. CP Jean-Charles Régin, Carla P. Gomes
2004	B	`conf`	The Challenge of Generating Spatially Balanced Scientific Experiment Designs. CPAIOR Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es
2003	A*	`conf`	An improved approximation algorithm for the partial latin square extension problem. SODA Carla P. Gomes, Rommel G. Regis, David B. Shmoys
2003	A*	`conf`	Backdoors To Typical Case Complexity. IJCAI Ryan Williams, Carla P. Gomes, Bart Selman
2003	A*	`conf`	Grid-based SensorDCSP. IJCAI Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls
2003	J	`jnl`	Técnicas de resolución de problemas de satisfacción de restricciones. Inteligencia Artif. Felip Manyà, Carla P. Gomes
2002	J	`jnl`	AAAI 2002 Fall Symposium Series Reports. AI Mag. Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh
2002	J	`jnl`	AAAI 2002 Workshops. AI Mag. 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, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat
2002	A	`conf`	Communication and Computation in Distributed CSP Algorithms. CP Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes
2002	—	`conf`	Dynamic Restart Policies. AAAI/IAAI Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman
2001	J	`jnl`	A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Electron. Notes Discret. Math. Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2001	A	`conf`	A Bayesian Approach to Tackling Hard Computational Problems. UAI Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2001	J	`jnl`	AAAI 2000 Workshop Reports. AI Mag. Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari
2001	J	`jnl`	Algorithm portfolios. Artif. Intell. Carla P. Gomes, Bart Selman
2001	J	`jnl`	Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electron. Notes Discret. Math. Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
2001	A*	`conf`	Balance and Filtering in Structured Satisfiable Problems. IJCAI Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
2001	A	`conf`	Capturing Structure with Satisfiability. CP Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
2001	J	`jnl`	Extending the Reach of SAT with Many-Valued Logics. Electron. Notes Discret. Math. Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
2001	A	`conf`	Formal Models of Heavy-Tailed Behavior in Combinatorial Search. CP Hubie Chen, Carla P. Gomes, Bart Selman
2001	J	`jnl`	On the intersection of AI and OR. Knowl. Eng. Rev. Carla P. Gomes
2000	—	`conf`	Generating Satisfiable Problem Instances. AAAI/IAAI Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman
2000	J	`jnl`	Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reason. Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz
2000	J	`jnl`	Hybrid Search Strategies for Heterogeneous Search Spaces. Int. J. Artif. Intell. Tools Carla P. Gomes, Bart Selman
2000	—	`conf`	Structure, Duality, and Randomization: Common Themes in AI and OR. AAAI/IAAI Carla P. Gomes
1999	B	`conf`	On the Fine Structure of Large Search Spaces. ICTAI Carla P. Gomes, Bart Selman
1999	B	`conf`	Search Strategies for Hybrid Search Spaces. ICTAI Carla P. Gomes, Bart Selman
1998	—	`conf`	Boosting Combinatorial Search Through Randomization. AAAI/IAAI Carla P. Gomes, Bart Selman, Henry A. Kautz
1998	—	`conf`	Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. AIPS Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff
1997	—	`conf`	A Transformational Approach Applied to Outage Management of Nuclear Power Plants. HICSS (5) Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
1997	A	`conf`	Algorithm Portfolio Design: Theory vs. Practice. UAI Carla P. Gomes, Bart Selman
1997	A	`conf`	Heavy-Tailed Distributions in Combinatorial Search. CP Carla P. Gomes, Bart Selman, Nuno Crato
1997	—	`conf`	Problem Structure in the Presence of Perturbations. AAAI/IAAI Carla P. Gomes, Bart Selman
1996	J	`jnl`	ABA: An Assignment Based Algorithm for Resource Allocation. SIGART Bull. Carla P. Gomes, Julie Hsu
1996	—	`conf`	Synthesis of schedulers for planned shutdowns of power plants. KBSE Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
1994	B	`conf`	A Distributed Scheduling Framework. ICTAI Carla P. Gomes, Austin Tate, Lyn C. Thomas