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