Meek

Theohhh

3 1

AI & ML interests

None yet

Recent Activity

upvoted a paper 6 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

liked a dataset 6 months ago

OpenConjecture/openconjecture

upvoted a paper 6 months ago

Semantic Search over 9 Million Mathematical Theorems

View all activity

Organizations

None yet

upvoted a paper 6 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 8 days ago • 27

liked a dataset 6 months ago

OpenConjecture/openconjecture

Viewer • Updated 3 days ago • 31.2k • 155 • 11

upvoted 2 papers 6 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

Paper • 2603.15929 • Published Mar 16 • 15