Faculty

Institution

Unit

Venue

Bart Selman

Professor

Cornell University

Affiliations

College of Computing and Information Science

Department of Computer Science

Bart Selman is currently serving as a College Of Computing And Information Science Professor at Cornell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Bart Selman

Cornell University

Professor

You can click a keyword to filter the displayed items

computer science automated reasoning combinatorial optimization computational complexity artificial intelligence data science logic in computer science theoretical computer science satisfiability theory of computation computational intelligence sat solving applied mathematics formal methods computational optimization discrete algorithms knowledge representation and reasoning automated deduction machine learning inference mathematics ai planning mathematical optimization intelligent computing constraint solving constraint satisfaction machine learning research robot learning heuristic search propositional logic randomized algorithms combinatorial theory knowledge-based systems knowledge discovery approximate reasoning local search (optimization) statistical methodology planning theory computational problems computer-assisted reasoning constraint programming exploration v exploitation local search heuristic planning knowledge-based reasoning artificial general intelligence default logic knowledge compilation reasoning system markov decision process algorithmic game theory stochastic optimization ai architecture activity recognition problem instance software agents computational testing proof complexity constrained optimization industrial artificial intelligence hash functions satisfiability testing default reasoning belief propagation materials discovery boolean induction stochastic search combinatorial search systematic search hard satisfiability problems sat problems living room rgbd images local search strategies knowledge representation systems theory approximation computational learning theory statistics

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

LOCALESCAPER: A Weakly-Supervised Framework With Regional Reconstruction for Scalable Neural Tsp Solvers. arXiv (Cornell University) (2025)

Wen, JunruiLi, YifeiSelman, BartHe, Kun

deep learningcomputer sciencecomputational intelligencemachine learningintelligent computingrecurrent neural networksdata scienceneural computationreinforcement learningartificial intelligencestructured predictionmachine learning researchdeep reinforcement learningneural solversregional reconstructionneural network (machine learning)

POSITION: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning. arXiv (Cornell University) (2025)

Yan, YiboWang, ShenHuo, JiahaoYe, JinghengChu, ZhendongHu, XumingYu, Philip S.Gomes, CarlaSelman, BartWen, Qingsong

multimodal learningcomputer scienceinferencecomputational intelligencelanguage modelssemantic evaluationnatural language processingmllm integrationdata sciencescientific reasoningartificial general intelligencemultimodal llmknowledge representation and reasoninglarge ai modelartificial intelligenceautomated reasoninglarge language models

Ski-Sat: A Cmos-Compatible Hardware for Solving Sat Problems. IEEE Transactions on Circuits and Systems I Regular Papers (2025)

Ahmet Yusuf SalimBart SelmanHenry KautzZeljko IgnjatovicSelçuk Köse

computer sciencecomputer architecturehardware verification languagecomputer engineeringmicroarchitecturevlsi circuitsat problemshigh performance computer architecturesat solving

Structure Amplification on Multi-Layer Stochastic Block Models. ACM Transactions on Knowledge Discovery from Data (2024)

Kun HeXiaodong XinJialu BaoMeng WangBart SelmanJohn E. Hopcroft

network sciencenetwork analysiscomputer sciencehidden community structuresocial simulationcommunity structurestructure amplificationcomplex systemsdata sciencecomputational statisticsinteraction networkcommunity discoveryhicode algorithmglobal networkssocial network analysis

Policy-Value Alignment and Robustness in Search-Based Multi-Agent Learning. arXiv (Cornell University) (2023)

Grupen, Niko A.Hanlon, MichaelHao, AlexisLee, Daniel D.Selman, Bart

computer scienceintelligent systemscomputational intelligenceexploration v exploitationvalue robustnessvalue generalization errormachine learningrobot learningreinforcement learningartificial intelligencepolicy-value alignmentmultiagent systemsmulti-agent learningevolutionary intelligence

Cooperative Multi-Agent Fairness and Equivariant Policies. Proceedings of the AAAI Conference on Artificial Intelligence (2022)

Niko A. GrupenBart SelmanDaniel D. Lee

multiagent systemscooperative multi-agent fairnessfairnessalgorithmic fairnessmulti-agent learningreinforcement learninggroup decisioncooperationcooperative multi-agent learningsocial choice

Graph Value Iteration. arXiv (Cornell University) (2022)

Feng, DieqiaoGomes, Carla P.Selman, Bart

deep learningcomputer sciencecomputational intelligenceai planningexploration v exploitationgraph structuremachine learninggraph neural networksdata scienceknowledge graphsreinforcement learninguseful subgoalsartificial intelligencedeep reinforcement learningrobot learninggraph value iteration

Haptic Perception Using Optoelectronic Robotic Flesh for Embodied Artificially Intelligent Agents. Science Robotics (2022)

Jose A. BarreirosArtemis XuSofya PugachNarahari IyengarGraeme TroxellAlexander CornwellSamantha HongBart SelmanRobert F. Shepherd

robotic sensinghuman bodyhaptic feedbackrobotics automationrobotic fleshintelligent robotroboticsmechanical engineeringsensorshaptic technologiesrobot learningbiomedical engineeringhaptic perception

Left Heavy Tails and the Effectiveness of the Policy and Value Networks in Dnn-Based Best-First Search for Sokoban Planning. arXiv (Cornell University) (2022)

Feng, DieqiaoGomes, CarlaSelman, Bart

deep learningcombinatorial optimizationmachine learningneural network (machine learning)computer sciencedata sciencecomputational optimizationmachine learning researchcomputational intelligenceai planningvalue networksreinforcement learningdeep reinforcement learningheuristic searchleft heavy tailsintelligent computingheavy tailsartificial intelligenceheuristic planning

A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. arXiv (Cornell University) (2021)

Dieqiao FengCarla P. GomesBart Selman

computer scienceintelligent systemscomputational intelligenceexploration v exploitationai planninghardness gapmachine learningintelligent computingautomated curriculum approachmachine intelligencereinforcement learningautonomous learningartificial intelligencedeep reinforcement learningmachine learning researchrobot learning

1
2
3
4
5
25
10 / page

Bart Selman

Professor

Cornell University

Affiliations

College of Computing and Information Science

Department of Computer Science

Bart Selman is currently serving as a College Of Computing And Information Science Professor at Cornell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Bart Selman

Cornell University

Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

LOCALESCAPER: A Weakly-Supervised Framework With Regional Reconstruction for Scalable Neural Tsp Solvers. arXiv (Cornell University) (2025)

Wen, JunruiLi, YifeiSelman, BartHe, Kun

POSITION: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning. arXiv (Cornell University) (2025)

Yan, YiboWang, ShenHuo, JiahaoYe, JinghengChu, ZhendongHu, XumingYu, Philip S.Gomes, CarlaSelman, BartWen, Qingsong

Ski-Sat: A Cmos-Compatible Hardware for Solving Sat Problems. IEEE Transactions on Circuits and Systems I Regular Papers (2025)

Ahmet Yusuf SalimBart SelmanHenry KautzZeljko IgnjatovicSelçuk Köse

computer sciencecomputer architecturehardware verification languagecomputer engineeringmicroarchitecturevlsi circuitsat problemshigh performance computer architecturesat solving

Structure Amplification on Multi-Layer Stochastic Block Models. ACM Transactions on Knowledge Discovery from Data (2024)

Kun HeXiaodong XinJialu BaoMeng WangBart SelmanJohn E. Hopcroft

Policy-Value Alignment and Robustness in Search-Based Multi-Agent Learning. arXiv (Cornell University) (2023)

Grupen, Niko A.Hanlon, MichaelHao, AlexisLee, Daniel D.Selman, Bart

Cooperative Multi-Agent Fairness and Equivariant Policies. Proceedings of the AAAI Conference on Artificial Intelligence (2022)

Niko A. GrupenBart SelmanDaniel D. Lee

multiagent systemscooperative multi-agent fairnessfairnessalgorithmic fairnessmulti-agent learningreinforcement learninggroup decisioncooperationcooperative multi-agent learningsocial choice

Graph Value Iteration. arXiv (Cornell University) (2022)

Feng, DieqiaoGomes, Carla P.Selman, Bart

Haptic Perception Using Optoelectronic Robotic Flesh for Embodied Artificially Intelligent Agents. Science Robotics (2022)

Jose A. BarreirosArtemis XuSofya PugachNarahari IyengarGraeme TroxellAlexander CornwellSamantha HongBart SelmanRobert F. Shepherd

robotic sensinghuman bodyhaptic feedbackrobotics automationrobotic fleshintelligent robotroboticsmechanical engineeringsensorshaptic technologiesrobot learningbiomedical engineeringhaptic perception

Left Heavy Tails and the Effectiveness of the Policy and Value Networks in Dnn-Based Best-First Search for Sokoban Planning. arXiv (Cornell University) (2022)

Feng, DieqiaoGomes, CarlaSelman, Bart

A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. arXiv (Cornell University) (2021)

Dieqiao FengCarla P. GomesBart Selman

1
2
3
4
5
25
10 / page

Similar Faculty Members

Robert David Kleinberg

Institution

Cornell University

stochastic process

computational economics

Stefano Ermon

Institution

Stanford University

machine learning

computer science

Carla P. Gomes

Institution

Cornell University

multidisciplinary ai

computational optimization

Henry Kautz

Institution

University of Virginia

computer science

data science

Mehryar Mohri

Institution

New York University

bio-inspired computation

computational biology

Henry Kautz

Institution

University of Rochester

worst-case intractable problems

health care analytics

Anupam Gupta

Institution

New York University

computational optimization

mathematical optimization

Martha E. Pollack

Institution

Cornell University

intelligent robot

automated reasoning

Dennis Shasha

Institution

New York University

pattern recognition

biological computation

Joe Halpern

Institution

Cornell University

philosophy of computer science

doxastic logic

Similar Faculty Members

Robert David Kleinberg

Institution

Cornell University

stochastic process

computational economics

Stefano Ermon

Institution

Stanford University

machine learning

computer science

Carla P. Gomes

Institution

Cornell University

multidisciplinary ai

computational optimization

Henry Kautz

Institution

University of Virginia

computer science

data science

Mehryar Mohri

Institution

New York University

bio-inspired computation

computational biology

Henry Kautz

Institution

University of Rochester

worst-case intractable problems

health care analytics

Anupam Gupta

Institution

New York University

computational optimization

mathematical optimization

Martha E. Pollack

Institution

Cornell University

intelligent robot

automated reasoning

Dennis Shasha

Institution

New York University

pattern recognition

biological computation

Joe Halpern

Institution

Cornell University

philosophy of computer science

doxastic logic