AI & ML interests

None defined yet.

Recent Activity

Cartinoe5930  authored a paper 4 days ago

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

amphora  submitted a paper 5 days ago

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

Cartinoe5930  authored a paper 4 months ago

Pushing on Multilingual Reasoning Models with Language-Mixed Chain-of-Thought

View all activity

Team members 3