Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis. - Yasmin Sarita; Avaljot Singh; Shaurya Gomber; Gagandeep Singh 001; Mahesh Vishwanathan (CoRR, 2024)

Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers. - Shaurya Gomber; Debangshu Banerjee 001; Gagandeep Singh 001 (CoRR, 2025)