activity
20242026
most citedAnalyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2025Show 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.CV2025★ 1 cited

Benchmarking Vision-Language Models on Optical Character Recognition in Dynamic Video Environments

Sankalp Nagaonkar, Augustya Sharma, Ashish Choithani +1

This paper introduces an open-source benchmark for evaluating Vision-Language Models (VLMs) on Optical Character Recognition (OCR) tasks in dynamic video environments. We present a…