Anand Rao Tadipatri

Name:	Anand Rao Tadipatri
Affiliation:	University of Cambridge, United Kingdom
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Mon Sep 30 21:37:34 +0000 2024

Public lists managed by Anand Rao Tadipatri

• Formalisation of mathematics with interactive theorem provers

Talks given by Anand Rao Tadipatri

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

Talks organised by Anand Rao Tadipatri

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Anand Rao Tadipatri actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• New Foundations: the story of a large formalisation project
• Alpha-Beta Pruning Explored, Extended and Verified
• Teaching using a proof assistant and controlled natural language
• Can a computer judge interestingness?
• Formalising Theory of Combinatorial Optimisation
• Formalising (part of) the Diagonal Ramsey Paper
• The Mandelbrot set is connected (and other Lean explorations)
• Experiences with Isabelle/HOL: Formalising Real Algebraic Geometry
• How to prove Fermat's Last Theorem
• Comparative Formalisation of Kneser's theorem in Isabelle/HOL and Lean
• Towards Autoformalization and Mathematical Reasoning using language models