RESEARCH / PROJECTS

Making ideas
tangible.

Models, benchmarks, and tools for understanding the scientific world.

AI FOR SCIENCE

VIPER-R1

Visual-to-symbolic discovery of physical laws from motion plots and observations. Accepted at NeurIPS 2026.

Explore project

RESEARCH & BENCHMARKS

LLM4EDUKG

Evaluating language model reasoning about prerequisite relationships and multi-hop dependencies in educational knowledge graphs.

Explore project