Formal-Math-Reasoning

AI & ML interests

None defined yet.

Recent Activity

pborchert  updated a model about 1 month ago

Formal-Math-Reasoning/DRIFT-dpr-mathlib

pborchert  published a model about 1 month ago

Formal-Math-Reasoning/DRIFT-dpr-mathlib

pborchert  updated a dataset about 1 month ago

Formal-Math-Reasoning/TopoAlign_Python

View all activity

Team members 1