Concept: Scripting language
Cerebra: Aligning Implicit Knowledge in Interactive SQL Authoring
Interactive tool aligns user expectations with AI-generated SQL queries
RAG Without the Lag: Enabling “What-If” Analysis for Retrieval-Augmented Generation Pipelines
Tool for quickly testing different configurations in AI retrieval and generation pipelines
Retrieval-augmented Generation of Enhanced Trigger-action Programming Rules in Smart Home
AI system helps users create complex smart home automation rules without programming knowledge
FLAT: Formal Languages as Types
Using formal languages as type constraints to prevent string-based security vulnerabilities
