From the 1 of 7 linked papers with an AI index.
7 papers
SIGIL: Compiling Agent Skills into Typed Harnesses
Jayanaka Dantanarayana, Savini Kashmira, Lingjia Tang +1
The paper presents SIGIL, a system that compiles natural‑language agent skills into typed executable harnesses, improving step compliance and efficiency across different language m…
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
Savini Kashmira, Jayanaka Dantanarayana, Thamirawaran Sathiyalogeswaran +3
This paper presents GraphMend, a compiler technique that automatically fixes FX graph breaks in PyTorch 2 programs. Although PyTorch 2 introduced TorchDynamo and TorchInductor to e…
Kernel Forge: An Agent Harness for LLM-based Generation and Optimization of CUDA Kernels
Joshua Brodsky, Dhravid Kumar, Savini Kashmira +4
Machine learning models are increasingly embedded in everyday software, and most of their runtime is spent in a small set of compute kernels such as matrix multiplication, convolut…
Prompt Less, Smile More: MTP with Semantic Engineering in Lieu of Prompt Engineering
Jayanaka L. Dantanarayana, Savini Kashmira, Thakee Nathees +4
AI-Integrated programming is emerging as a foundational paradigm for building intelligent systems with large language models (LLMs). Recent approaches such as Meaning Typed Program…
GraphRunner: A Multi-Stage Framework for Efficient and Accurate Graph-Based Retrieval
Savini Kashmira, Jayanaka L. Dantanarayana, Krisztián Flautner +2
Conventional Retrieval Augmented Generation (RAG) approaches are common in text-based applications. However, they struggle with structured, interconnected datasets like knowledge g…
SLMEval: Entropy-Based Calibration for Human-Aligned Evaluation of Large Language Models
Roland Daynauth, Christopher Clarke, Krisztian Flautner +2
The LLM-as-a-Judge paradigm offers a scalable, reference-free approach for evaluating language models. Although several calibration techniques have been proposed to better align th…