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