9 citations · 12 across the 14 of their papers we have counts for
4 papers · 1 filter
Intent-Level Quantum Programming with Assertion-Guided Execution and Inspectable Intermediate Representation
Ilesh Vora, Srikanth Thudumu, John Carlson +2
Quantum programs are difficult to validate: circuits are typically expressed as imperative gate sequences with limited inspectability, execution modalities must be selected manuall…
Large language models for generating rules, yay or nay?
Shangeetha Sivasothy, Scott Barnett, Rena Logothetis +4
Engineering safety-critical systems such as medical devices and digital health intervention systems is complex, where long-term engagement with subject-matter experts (SMEs) is nee…
LLMs for Test Input Generation for Semantic Caches
Zafaryab Rasool, Scott Barnett, David Willie +4
Large language models (LLMs) enable state-of-the-art semantic capabilities to be added to software systems such as semantic search of unstructured documents and text generation. Ho…
Seven Failure Points When Engineering a Retrieval Augmented Generation System
Scott Barnett, Stefanus Kurniawan, Srikanth Thudumu +2
Software engineers are increasingly adding semantic search capabilities to applications using a strategy known as Retrieval Augmented Generation (RAG). A RAG system involves findin…