FIN_NUMBER

AI & ML interests

None defined yet.

Recent Activity

Cartinoe5930  authored a paper 22 days ago

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

amphora  submitted a paper 23 days ago

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

Cartinoe5930  authored a paper 5 months ago

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

View all activity

Team members 5