arxiv:2602.20629
Shubhrajit Bhattacharya
shb1729
AI & ML interests
AI and ML for mathematical proof and benchmarking AI/ML performance
Recent Activity
authored a paper 8 days ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical ProofsOrganizations
None yet