2 citations · 5 across the 7 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Verified but Vacuous: Three Failure Surfaces of LLM-Driven Verified Code Generation
Aditya Vempaty, Himaneesh Sompalle, Manan Tayal +4
What should ``verified'' mean when evaluating LLM-generated code? Many existing pipelines report a single verification number. We argue this collapses three distinct properties mea…
cs.AI2024★ 2 cited
Agent-E: From Autonomous Web Navigation to Foundational Design Principles in Agentic Systems
Tamer Abuelsaad, Deepak Akkil, Prasenjit Dey +3
AI Agents are changing the way work gets done, both in consumer and enterprise domains. However, the design patterns and architectures to build highly capable agents or multi-agent…