8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
Hai Xia, Carla P. Gomes, Bart Selman +1
We study mathematical discovery through the lens of neurosymbolic reasoning, where an AI agent powered by a large language model (LLM), coupled with symbolic computation tools, and…
cs.AI2007★ 8 cited
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning
Joerg Hoffmann, Carla Gomes, Bart Selman
In Verification and in (optimal) AI Planning, a successful method is to formulate the application as boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based pro…