Formal-Math-Reasoning

AI & ML interests

None defined yet.

Recent Activity

pborchert  updated a model 5 days ago

Formal-Math-Reasoning/DRIFT-dpr-mathlib

pborchert  published a model 5 days ago

Formal-Math-Reasoning/DRIFT-dpr-mathlib

pborchert  updated a dataset 9 days ago

Formal-Math-Reasoning/TopoAlign_Python

View all activity

Team members 1