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 about 1 month ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical ProofsOrganizations
None yet