2 papers
hep-th2026
Macdonald Index From Refined Kontsevich-Soibelman Operator
George Andrews, Anindya Banerjee, Ranveer Kumar Singh +1
We propose a refinement of the Kontsevich-Soibelman operator for a class of ``special'' 4d superconformal field theories characterized by the following conditions:…
cs.LO2025
Alignment complete relational Hoare logics for some and all
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (…