Philipp Borchert

pborchert
·

AI & ML interests

NLP

Recent Activity

updated a dataset about 12 hours ago
Formal-Math-Reasoning/TopoAlign_Python
updated a dataset about 13 hours ago
Formal-Math-Reasoning/ConjectureBench
published a dataset about 13 hours ago
Formal-Math-Reasoning/TopoAlign_Python
View all activity

Organizations

Formal-Math-Reasoning's profile picture