SB

Sam Bayless

0000-0002-0909-8986

cs.AIcs.LOcs.CLcs.LG

On Valency

published · living versions

W_etmeccs6·v1 · currentpublished

Scaling Lean Theorem Proving for Real-World Code Verification

with Debargha Ganguly, Divya Raghunathan, Dejan Jovanović, Vikash Singh +4

1 version

Preprints & journals

8 papers in the corpus · 2014–2026

Verifiable Checks for Business Rule Consistency2608.00396v1 · Joseph Tafese, Milad Hooshyar, Sam Bayless et al.2026 · 0 citationsarXiv

ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models2602.20117v1 · Andre He, Nathaniel Weir, Kaj Bostrom et al.2026 · 0 citationsarXiv

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning2601.20055v3 · Vikash Singh, Darion Cassel, Nathaniel Weir et al.2026 · 0 citationsarXiv

A Neurosymbolic Approach to Natural Language Formalization and Verification2511.09008v2 · Chenyang An, Sam Bayless, Stefano Buliani et al.2025 · 1 citationarXiv

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks2511.04662v1 · Yu Feng, Nathaniel Weir, Kaj Bostrom et al.2025 · 0 citationsarXiv

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories2401.10703v3 · Nick Feng, Alan J. Hu, Sam Bayless et al.2024 · 1 citationarXiv

The Configurable SAT Solver Challenge (CSSC)1505.01221v2 · Frank Hutter, Marius Lindauer, Adrian Balint et al.2015 · 68 citationsarXiv

SAT Modulo Monotonic Theories1406.0043v1 · Sam Bayless, Noah Bayless, Holger H. Hoos et al.2014 · 0 citationsarXiv

Career total: 26 works. 8 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.