Avatar

Debrup Das

Dual Degree MTP Student (Math&Computing, IIT-KGP)

Department of Math and Computing, IIT KGP

Interests

  • Tool-Augmented Mathematical Reasoning (Submitted MTech Thesis)