An Evaluation Benchmark for Autoformalization in Lean4. - Jasdeep Sidhu; Shubhra Mishra; Aryan Gulati; Devanshu Ladsaria; Brando Miranda (Tiny Papers @ ICLR, 2024)

Motor Imagery Signal Classification Using Adversarial Learning: A Systematic Literature Review. - Shubhra Mishra; Osama Mahmudi; Amin Jalali 001 (IEEE Access, 2024)

MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula. - Shubhra Mishra; Gabriel Poesia; Belinda Mo; Noah D. Goodman (CoRR, 2024)