Provably Auditable LLM Agents Use Typed Lambda Calculus for Guaranteed Correc...

Research team proposes evidence tracing for LLM agent auditing

HQ arXiv: AI + Accounting arXiv · 16h ago · 1 min read

Academic paper introduces methods to trace and verify LLM agent decision-making through execution provenance, addressing audit and compliance needs for autonomous AI systems in high-stakes domains.

Researchers expose LLM token billing auditing gaps as providers hide pricing ...

HQ arXiv: AI + Accounting arXiv · 6d ago · 1 min read

Academic research reveals that per-token LLM billing lacks auditability safeguards, enabling dishonest providers to overcharge—a critical issue for accounting firms using AI tools at scale.

Framework enables auditable AI decision-making with uncertainty routing for c...

HQ arXiv: AI + Accounting arXiv · 8d ago · 1 min read

Research paper introduces EvaluatorDPT, a system for production AI to handle uncertain cases through policy-governed abstention and real-time steering, addressing audit requirements in high-stakes ...

Ontological Knowledge Blocks Enable Executable Compliance for AI Systems

HQ arXiv: AI + Accounting arXiv · 13d ago · 1 min read

Researchers propose Ontological Knowledge Blocks (OKBs), a programmable framework that automates AI governance verification and compliance auditing beyond static checklists, targeting transparency ...

Researchers warn 'human in the loop' AI oversight often masks deeper safety r...

HQ arXiv: AI + Accounting arXiv · 21d ago · 1 min read

Academic paper critiques overuse of 'human in the loop' framing in AI systems as false safety assurance, raising concerns about bias, accountability, and transparency in deployed decision-making sy...