Semantic Search over 9 Million Mathematical Theorems
Paper
• 2602.05216 • Published
• 21
Inc-G
ginchiostro
AI & ML interests
None yet
Recent Activity
liked
a Space 10 days ago
uw-math-ai/theorem-search upvoted a paper 25 days ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper 27 days ago
Learning to Repair Lean Proofs from Compiler Feedback Organizations
None yet
upvoted a paper 25 days ago