activity
20232026
most citedEnhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.DBShow all

1 paper · 1 filter

cs.DB2026

Logos: Certified Order-Sensitive SQL Rewrites with Mechanized Semantics and LLM Guidance

Jingyu Ke, Jingyang Li, Guoqiang Li

SQL rewrite verification must account for duplicate rows, observable row order, and typed value semantics. Existing verifiers have yet to combine proofs over database instances of…