2 citations · 3 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
Ali Taheri, Alireza Taban, Sadegh Soudjani +1
Safety verification of dynamical systems via barrier certificates is essential for ensuring correctness in autonomous applications. Synthesizing these certificates involves discove…
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…