Hugging Face's logo
Philipp Borchert's picture
1 1

Philipp Borchert

pborchert
andyeick's profile picture
·

AI & ML interests

NLP

Recent Activity

updated a model 4 days ago
Formal-Math-Reasoning/DRIFT-dpr-mathlib
published a model 4 days ago
Formal-Math-Reasoning/DRIFT-dpr-mathlib
updated a dataset 8 days ago
Formal-Math-Reasoning/TopoAlign_Python
View all activity

Organizations

Formal-Math-Reasoning's profile picture