Author

Mayank Rathee

h-index 8 View on Semantic Scholar

We have 2 of 12 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

Pincer: Resource Authorization for Agents using a Digital Twin

Coding agents have become increasingly long-horizon, autonomous, reliant on general-purpose shell and maintain their own persistent memory for self-improvement. While these capabilities have made the agents powerful, they have also made them harder to defend against external adversaries. Defenses that restrict this arc...

Mayank Rathee, Alexander Stepanov, Shalin Madabhavi et al. · 0 citations

Jul 2026

ShannonProver: Towards Automating Formal Cryptographic Proofs

This work suggests a path toward accelerating cryptographic research: as agents automate the proof-engineering burden, cryptographers can iterate more quickly on new constructions, obtain machine-checked assurance earlier, and bring trustworthy protocols from design to deployment faster.

Yiping Ma, Yu-Lin Tsai, Mayank Rathee et al. · arXiv.org · 0 citations