paper-with-me

홈 › Papers

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions

2025-06-13 · Stephen Mell, Botong Zhang, David Mell, Shuo Li, Ramya Ramalingam, Nathan Yu, Steve Zdancewic, Osbert Bastani

Modern large language models (LLMs) are often deployed as agents, calling external tools adaptively to solve tasks. Rather than directly calling tools, it can be more effective for LLMs to write code to perform the tool calls, enabling them to automatically generate complex control flow such as conditionals and loops. Such code actions are typically provided as Python code, since LLMs are quite proficient at it; however, Python may not be the ideal language due to limited built-in support for performance, security, and reliability. We propose a novel programming language for code actions, called Quasar, which has several benefits: (1) automated parallelization to improve performance, (2) uncertainty quantification to improve reliability and mitigate hallucinations, and (3) security features enabling the user to validate actions. LLMs can write code in a subset of Python, which is automatically transpiled to Quasar. We evaluate our approach on the ViperGPT visual question answering agent, applied to the GQA dataset, demonstrating that LLMs with Quasar actions instead of Python actions retain strong performance, while reducing execution time when possible by 42%, improving security by reducing user approval interactions when possible by 52%, and improving reliability by applying conformal prediction to achieve a desired target coverage level.

📄 PDF Abstract BibTeX arXiv:2506.12202

Code (0)

등록된 구현이 없습니다.

Tasks

Conformal PredictionQuestion AnsweringUncertainty QuantificationVisual Question Answering

Similar Papers 제목 키워드 기반

Reliable Collaborative Conversational Agent System Based on LLMs and Answer Set Programming

2025-05-09 · Yankai Zeng, Gopal Gupta

As the Large-Language-Model-driven (LLM-driven) Artificial Intelligence (AI) bots became popular, people realized their strong potential in Task-Oriented Dialogue (TOD). However, bots relying wholly on LLMs are unreliabl…

Large Language Model

Reflection-Driven Control for Trustworthy Code Agents

2025-12-22 · Bin Wang, Jiazheng Quan, Xingrui Yu, Hansen Hu 외 arxiv

Contemporary large language model (LLM) agents are remarkably capable, but they still lack reliable safety controls and can produce unconstrained, unpredictable, and even actively harmful outputs. To address this, we int…

Code Generation

Pel, A Programming Language for Orchestrating AI Agents

2025-04-03 · Behnam Mohammadi

The proliferation of Large Language Models (LLMs) has opened new frontiers in computing, yet controlling and orchestrating their capabilities beyond simple text generation remains a challenge. Current methods, such as fu…

Code GenerationText Generation

SAFEFLOW: A Principled Protocol for Trustworthy and Transactional Autonomous Agent Systems

2025-06-09 · Peiran Li, Xinkai Zou, Zhuohang Wu, Ruifeng Li 외

Recent advances in large language models (LLMs) and vision-language models (VLMs) have enabled powerful autonomous agents capable of complex reasoning and multi-modal tool use. Despite their growing capabilities, today's…

Scheduling

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming

2026-01-05 · Nguyet-Anh H. Lang, Eric Lang, Thanh Le-Cong, Bach Le 외 arxiv

Functional programming provides strong foundations for developing reliable and secure software systems, yet its adoption remains not widespread due to the steep learning curve. Recent advances in Large Language Models (L…

Code Generation