Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
FinancialAuditBench: Benchmark Construction under Differential Privacy Using Real-World Priors
Jerry Huang, Sarvesh Babu, Matt Van Buren +5
As AI agents are becoming widely adopted in the financial services industry, careful measurement is essential to understand where they can be reliably deployed and where oversight…
cs.AI2026
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Ruida Wang, Jerry Huang, Pengcheng Wang +3
Equipping Large Language Models (LLMs) to execute reliable multi-step workflows has become a central challenge in artificial intelligence. Despite recent advances in LLMs' agentic…