IOPO Experiments

AI & ML interests

None defined yet.

Recent Activity

JW17  authored a paper 4 days ago

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

lewtun  authored a paper 12 days ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

lewtun  authored a paper about 2 months ago

SmolVLM: Redefining small and efficient multimodal models

View all activity

Team members 6