Hugging Face model: Formal-Math-Reasoning/DRIFT-dpr-mathlib
Author: Formal-Math-Reasoning
Created: 2026-02-09 16:36:16
Last modified: 2026-02-09 16:45:30
Likes: 1 | Downloads: 5
Tags: safetensors, xlm-roberta, region:us
Card metadata: