VLDB 2026 Research / reviewers in the wild / expert

Anand Tadipatri

dblp:333/2206 · also Anand Rao Tadipatri · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
YearPublicationVenuePosition
2025 Automatically Generalizing Proofs and Statements
Anshula Gandhi, Anand Tadipatri, Timothy Gowers
 ITP2
2024 Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture
abstract
We describe a formalization in Lean 4 of Giles Gardam's disproof of Kaplansky's Unit Conjecture. This makes use of a combination of deductive proving and formally verified computation, using the nature of Lean 4 as a programming language which is also a proof assistant.
Siddhartha Gadgil, Anand Tadipatri
 CPP2