J. Lesner

Grad student exploring AI to improve how we learn and work.

DBDoctor: LLM-Aided SMT Refutation of SQL Query Equivalence