Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Families of Harris Graphs
Published in In submission, 2023
This paper discusses Families of Harris Graphs and their properties.
Recommended citation: Shubhra Mishra, Doug Shaw, Francesca Gandini. (2024). "Families of Harris Graphs." In submission.
Download Paper
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula
Published in NeurIPS Math-AI Workshop, 2024
This paper introduces MathCAMPS, a fine-grained synthesis of mathematical problems from human curricula.
Recommended citation: Shubhra Mishra, Gabriel Poesia, Belinda Mo, Noah Goodman. (2024). "MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula." NeurIPS Math-AI Workshop 2024.
Download Paper
An Evaluation Benchmark for Autoformalization
Published in ICLR 2024, 2024
This paper proposes an evaluation benchmark for autoformalization in Lean4.
Recommended citation: Aryan Gulati, Devanshu Ladsaria, Shubhra Mishra, Jasdeep Sidhu, Brando Miranda. (2024). "An Evaluation Benchmark for Autoformalization." ICLR.
Download Paper
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.