45 citations · 95 across the 23 of their papers we have counts for
3 papers · 1 filter
Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification
Shuangjie Yao, Nikolaus Holzer, Mark Paul Santolucito +3
Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers. It's a guarantee especially valuable for code generated by la…
Compositional Safety Failures in Harness Evolution: Identification and Runtime Monitoring
Zhixiang Zhang, Zesen Liu, Wai Ip Lai +2
Self-evolving agent harnesses continually update persistent components such as memory, prompts, skills, and tools. We call this process harness evolution. However, such evolution c…
On Protecting Agentic Systems' Intellectual Property via Watermarking
Liwen Wang, Zongjie Li, Yuchong Xie +4
The evolution of Large Language Models (LLMs) into agentic systems that perform autonomous reasoning and tool use has created significant intellectual property (IP) value. We demon…