Siddhartha Gadgil | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Navin Goyal
27 publications
Ayush Agrawal
10 publications
Ashvni Narayanan
3 publications
Anand Tadipatri
1 publication

research

∙ 11/14/2022

Towards a Mathematics Formalisation Assistant using Large Language Models

Mathematics formalisation is the task of writing mathematics (i.e., defi...

0 Ayush Agrawal, et al. ∙

research

∙ 04/10/2019

Homogeneous length functions on Groups: Intertwined computer & human proofs

We describe a case of an interplay between human and computer proving wh...

0 Siddhartha Gadgil, et al. ∙