Meek

Theohhh

3 1

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

liked a dataset 5 months ago

davisrbr/openconjecture

upvoted a paper 5 months ago

Semantic Search over 9 Million Mathematical Theorems

View all activity

Organizations

None yet

Theohhh 's datasets

None public yet