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 dataset about 2 hours ago
Formal-Math-Reasoning/TopoAlign_Python
updated a dataset about 2 hours ago
Formal-Math-Reasoning/ConjectureBench
published a dataset about 2 hours ago
Formal-Math-Reasoning/TopoAlign_Python
View all activity

Organizations

Formal-Math-Reasoning's profile picture