Sam Bayless

Identifiers

No identifiers captured yet.

Papers (3)

1. VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning cs.CL · 2026 · author #5
2. The Configurable SAT Solver Challenge (CSSC) cs.AI · 2015 · author #4
3. SAT Modulo Monotonic Theories cs.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Adrian Balint 1 shared papers
• Alan J. Hu 1 shared papers
• Darion Cassel 1 shared papers
• Frank Hutter 1 shared papers
• Holger H. Hoos 1 shared papers
• Holger Hoos 1 shared papers
• Kevin Leyton-Brown 1 shared papers
• Marius Lindauer 1 shared papers
• Nathaniel Weir 1 shared papers
• Nick Feng 1 shared papers
• Noah Bayless 1 shared papers
• Vikash Singh 1 shared papers