166 citations · 587 across the 57 of their papers we have counts for
4 papers · 1 filter
SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
Rocky Klopfenstein, Yang He, Andrew Tremante +3
Community-driven Text-to-SQL evaluation platforms play a pivotal role in tracking the state of the art of Text-to-SQL performance. The reliability of the evaluation process is crit…
Cubing for Tuning
Haoze Wu, Clark Barrett, Nina Narodytska
We are exploring the problem of building an automated reasoning procedure that adaptively tunes the high-level solving strategy for a given problem. There are two main distinctive…
HONEYBEE: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning[Technical Report]
Hongbin Zhong, Matthew Lentz, Nina Narodytska +2
Enterprise deployments of vector databases require access control policies to protect sensitive data. These systems often implement access control through hybrid vector queries tha…
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu +3
Debugging of Deep Neural Networks (DNNs), particularly vision models, is very challenging due to the complex and opaque decision-making processes in these networks. In this paper,…