PPaperPicks

S. Akshay

8 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×2IJCAI ×2KR ×2AAAI ×1ICLR ×1

Frequent coauthors

Supratik Chakraborty
×5
Ashutosh Gupta
×2
Amir Kafshdar Goharshady
×2
Harshit J. Motwani
×2
Dorde Zikelic
×2
Mohammad Afzal
×1
Blaise Genest
×1
Alfredo Cantarella
×1
Bernd Finkbeiner
×1
Niklas Metzger
×1
Soroush Farokhnia
×1
A. R. Balasubramanian
×1

Papers

  1. Formal Reasoning About Confidence and Automated Verification of Neural Networks
    FM 2026 ·
    Mohammad Afzal
    , S. Akshay,
    Blaise Genest
    ,
    Ashutosh Gupta
  2. Knowledge Compilation for Quantification in Alternating Automata
    KR 2026 · S. Akshay,
    Alfredo Cantarella
    ,
    Supratik Chakraborty
    ,
    Bernd Finkbeiner
    ,
    Niklas Metzger
  3. LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
    IJCAI 2025 · S. Akshay,
    Supratik Chakraborty
    ,
    Soroush Farokhnia
    ,
    Amir Kafshdar Goharshady
    ,
    Harshit Jitendra Motwani
    ,
    Dorde Zikelic
  4. Presburger Functional Synthesis: Complexity and Tractable Normal Forms
    KR 2025 · S. Akshay,
    A. R. Balasubramanian
    ,
    Supratik Chakraborty
    ,
    Georg Zetzsche
  5. Sensitivity Verification for Additive Decision Tree Ensembles
    ICLR 2025 ·
    Arhaan Ahmad
    ,
    Tanay Vineet Tayal
    ,
    Ashutosh Gupta
    , S. Akshay
  6. Auditable Algorithms for Approximate Model Counting
    AAAI 2024 ·
    Kuldeep S. Meel
    ,
    Supratik Chakraborty
    , S. Akshay
  7. Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
    IJCAI 2024 · S. Akshay,
    Krishnendu Chatterjee
    ,
    Tobias Meggendorfer
    ,
    Dorde Zikelic
  8. Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
    FM 2024 · S. Akshay,
    Supratik Chakraborty
    ,
    Amir Kafshdar Goharshady
    ,
    R. Govind
    ,
    Harshit J. Motwani
    ,
    Sai Teja Varanasi