Showing 2025Show all
3 papers · 1 filter
cs.AI2025
The 4/ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
Pierre Dantas, Lucas Cordeiro, Youcheng Sun +1
The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain…
cs.MA2025
Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments
Jinwei Hu, Yi Dong, Youcheng Sun +1
Autonomous agents in safety-critical applications must continuously adapt to dynamic conditions without compromising performance and reliability. This work introduces TAPA (Trainin…
cs.IR2025
GRADA: Graph-based Reranking against Adversarial Documents Attack
Jingjie Zheng, Aryo Pradipta Gema, Giwon Hong +4
Retrieval Augmented Generation (RAG) frameworks improve the accuracy of large language models (LLMs) by integrating external knowledge from retrieved documents, thereby overcoming…