Korea Exchange

AI & ML interests

None defined yet.

Recent Activity

amphora  submitted a paper about 3 hours 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

amphora  authored a paper 9 months ago

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

View all activity

Team members 4