329 citations · 336 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
Pincer: Resource Authorization for Agents using a Digital Twin
Mayank Rathee, Alexander Stepanov, Shalin Madabhavi +3
Coding agents have become increasingly long-horizon, autonomous, reliant on general-purpose shell and maintain their own persistent memory for self-improvement. While these capabil…
cs.CR2026
ShannonProver: Towards Automating Formal Cryptographic Proofs
Yiping Ma, Yu-Lin Tsai, Mayank Rathee +4
Cryptographic proofs are produced at a scale that increasingly exceeds the community's ability to verify them manually. Machine-checked proofs offer a path toward scalable proof ve…