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 14 minutes ago
Formal-Math-Reasoning/ConjectureBench
published a dataset 30 minutes ago
Formal-Math-Reasoning/TopoAlign_Python
published a dataset 34 minutes ago
Formal-Math-Reasoning/ConjectureBench
View all activity

Organizations

Formal-Math-Reasoning's profile picture