Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Ravi Kiran Kadaboina

Ravi Kiran Kadaboina

2 indexed papers

Recent (6 mo)
2
With code
0
Influential cites
0
Benchmarked
0

Publications per year

2
26

Top categories

Crypto×2Logic×1Multiagent×1

Research Timeline

2026
Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols

The paper proposes Anumati, a formal consent model that moves beyond simple proof of acceptance to provide a verifiable, per-action proof of adherence to evolving policies in autonomous agent communication.

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks

Pramana introduces a standardized, protocol-level wire format for autonomous agent outputs, ensuring that every consequential claim is accompanied by a verifiable artifact that can be re-executed by an external auditor.

Highlighted terms show continued research focus across papers

Papers

cs.CRcs.LOcs.MARecentMay 19, 2026

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks

Ravi Kiran Kadaboina

Pramana introduces a standardized, protocol-level wire format for autonomous agent outputs, ensuring that every consequential claim is accompanied by a verifiable artifact that can be re-executed by a…

View →
cs.CRRecentApr 16, 2026

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols

Ravi Kiran Kadaboina

The paper proposes Anumati, a formal consent model that moves beyond simple proof of acceptance to provide a verifiable, per-action proof of adherence to evolving policies in autonomous agent communic…

View →