Shubhra Mishra

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Tightly Coupled

Evaluation Method

Top Venues

Tiny Papers @ ICLR

Publications

Shubhra Mishra, Gabriel Poesia, Belinda Mo, Noah D. Goodman
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula. CoRR (2024)
Aryan Gulati, Devanshu Ladsaria, Shubhra Mishra, Jasdeep Sidhu, Brando Miranda
An Evaluation Benchmark for Autoformalization in Lean4. CoRR (2024)
Shubhra Mishra, Osama Mahmudi, Amin Jalali
Motor Imagery Signal Classification Using Adversarial Learning: A Systematic Literature Review. IEEE Access 12 (2024)
Jasdeep Sidhu, Shubhra Mishra, Aryan Gulati, Devanshu Ladsaria, Brando Miranda
An Evaluation Benchmark for Autoformalization in Lean4. Tiny Papers @ ICLR (2024)