Posts by Collection
portfolio
publications
On Three-Term Linear Relations for Theta Series of Positive-Definite Binary Quadratic Forms
Published in , 2023
LLMSTEP: LLM Proofstep Suggestions in Lean
Published in NeurIPS MATH AI, 2023
A New Approach Towards Autoformalization
Published in , 2023
Shunno Diye Bhaag Korle Ki Hoy
Published in , 2024
Engineering mtDNA Deletions by Reconstructing End-Joining in Human Mitochondria
Published in , 2024
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.