Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
VeriPIE: Checkable Query Plans and Evidence-Guided Selection for Text-to-SQL
Piyush Jha, Cruise Song, Zhengyu Li +1
Financial Artificial Intelligence (AI) governance and model risk management (MRM) emphasize independent validation, transparency, and effective challenge of AI-generated computatio…
cs.LO2026
SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
Zhengyu Li, Curtis Bright, Stefan Trandafir +2
We present a search for small Kochen-Specker (KS) sets in dimension 3, specifically targeting extensions of the 13-ray Yu-Oh set, which has been proven to be the minimal witness to…
cs.LO2025
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey and Problems
Zhengyu Li, Conor Duggan, Curtis Bright +1
The Ramsey problem seeks to determine the smallest value of such that any red/blue edge coloring of the complete graph on vertices must either contain a blue tria…