Philipp Borchert
pborchert
AI & ML interests
NLP
Recent Activity
updated
a model 14 days ago
Formal-Math-Reasoning/DRIFT-dpr-mathlib published
a model 14 days ago
Formal-Math-Reasoning/DRIFT-dpr-mathlib updated
a dataset 18 days ago
Formal-Math-Reasoning/TopoAlign_Python