Scholar

Shubhra Mishra

Google Scholar ID: XJcJak4AAAAJ

Stanford University

Language ModelsTheorem ProvingAutoformalizationAutomated Mathematical Discovery

Google Scholar↗

Citations & Impact

All-time

Citations

3

H-index

1

i10-index

0

Publications

7

Co-authors

0

Contact

No contact links provided.

Publications

4 items

A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models

2025

Cited

0

DiagramIR: An Automatic Pipeline for Educational Math Diagram Evaluation

2025

Cited

0

CurLL: A Developmental Framework to Evaluate Continual Learning in Language Models

2025

Cited

0

MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula

arXiv.org · 2024

Cited

3

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)