ai4s-r2

AI & ML interests

None defined yet.

Recent Activity

amphora  submitted a paper about 20 hours ago

Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math

amphora  authored a paper 9 months ago

When AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific Research

amphora  authored a paper 12 months ago

Linguistic Generalizability of Test-Time Scaling in Mathematical Reasoning

View all activity

Team members 1