FIN_NUMBER

AI & ML interests

None defined yet.

Recent Activity

Cartinoe5930  authored a paper about 2 months ago

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

amphora  submitted a paper about 2 months ago

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

Cartinoe5930  authored a paper 6 months ago

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

View all activity

Team members 5