Tiny Aya Math Edition

AI & ML interests

None defined yet.

Recent Activity

danylo-boiko  updated a dataset 1 day ago

tiny-aya-math-edition/math-bench

danylo-boiko  published a dataset 2 days ago

tiny-aya-math-edition/math-bench

hedgehog0  authored a paper 18 days ago

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs

View all activity

Team members 3