Arunava Gantait

Identifiers

• name variant Arunava Gantait 0.60 · backfill

Papers (1)

1. Automating proof search when equality is a logical connective cs.LO · 2026 · author #2

Mentions

• 2605.20054 #2 · arxiv_oai · confidence 0.70 Arunava Gantait

Frequent Coauthors

• Dale Miller 1 shared papers
• Kaustuv Chaudhuri 1 shared papers