1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2024★ 2 cited
Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
Richard Roberson, Gowtham Kaki, Ashutosh Trivedi
This study investigates various approaches to using Large Language Models (LLMs) for Text-to-SQL program synthesis, focusing on the outcomes and insights derived. Employing the pop…
cs.PL2023★ 1 cited
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
Shawn Meier, Sergio Mover, Gowtham Kaki +1
This paper determines if a callback can be called by an event-driven framework in an unexpected state.Event-driven programming frameworks are pervasive for creating user-interactiv…