Bart Selman

Professor
Computer Science DEPT · BCIS

Bart Selman serves as Professor in Computer Science at Cornell University.

255 publications
19,871 citations
63 h-index
Computer Science
Recent Papers (23)
2026-08-06 · bioRxiv (Cold Spring Harbor Laboratory) · Spectroscopy
Charting the small-molecule universe from mass spectra with neuro-symbolic AI
Bart SelmanProfessor, Computer Science DEPT · BCIS
Frank C. SchroederProfessor, Chemistry and Chemical Biology · CAS
Carla P. GomesProfessor, Computer Science DEPT · BCIS
2026-03-09 · arXiv (Cornell University) · Electrical and Electronic Engineering
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2026-01-29 · Underline Science Inc.
Presidential Panel on the Future of AI Research
Bart SelmanProfessor, Computer Science DEPT · BCIS
2026-01-22 · Underline Science Inc.
Professor Edward Feigenbaum: a Tribute to and Lecture by a Pioneer of AI on his 90th Birthday
Bart SelmanProfessor, Computer Science DEPT · BCIS
2026-01-01 · arXiv (Cornell University) · Artificial Intelligence
Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning
Carla GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2021-07-31
Structure Amplification on Multi-layer Stochastic Block Models
Bart SelmanProfessor, Computer Science DEPT · BCIS
2020-06-04
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2016-10-08
Solving Marginal MAP Problems with NP Oracles and Parity Constraints
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2016-03-11
Watch-n-Patch: Unsupervised Learning of Actions and Relations
Bart SelmanProfessor, Computer Science DEPT · BCIS
2015-08-17
Variable Elimination in the Fourier Domain
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2014-11-27
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2014-09-01
Synthesizing manipulation sequences for under-specified tasks using unrolled Markov Random Fields
Bart SelmanProfessor, Computer Science DEPT · BCIS
2013-09-26
Optimization With Parity Constraints: From Binary Codes to Discrete Integration
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2013-02-27
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2013-01-10
A Bayesian Approach to Tackling Hard Computational Problems
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2013-01-10
A Bayesian Approach to Tackling Hard Computational Problems
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2012-10-16
Uniform Solution Sampling Using a Constraint Solver As an Oracle
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2012-06-20
Survey Propagation Revisited
Bart SelmanProfessor, Computer Science DEPT · BCIS
2012-05-01
Unstructured human activity detection from RGBD images
Bart SelmanProfessor, Computer Science DEPT · BCIS
2012-03-15
Playing games against nature: optimal policies for renewable resource allocation
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
2011-01-01
Human Activity Detection from RGBD Images
Bart SelmanProfessor, Computer Science DEPT · BCIS
2007-02-26
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
Carla P. GomesProfessor, Computer Science DEPT · BCIS
Bart SelmanProfessor, Computer Science DEPT · BCIS
1999-10-06
2+p-SAT: Relation of Typical-Case Complexity to the Nature of the Phase Transition