Formal-Math-Reasoning
/

DRIFT-dpr-mathlib

Model card Files Files and versions

DRIFT-dpr-mathlib

1.52 kB

1 contributor

History: 1 commit

pborchert's picture

initial commit

2d8ebb0 verified about 1 month ago

.gitattributes

1.52 kB

initial commit about 1 month ago