Semantic Search over 9 Million Mathematical Theorems
Paper • 2602.05216 • Published • 21
lawful-good-project
lawful-good-project
AI & ML interests
datasets
Recent Activity
upvoted a paper about 2 months ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper about 2 months ago
Learning to Repair Lean Proofs from Compiler Feedback new activity 4 months ago
KenanKoiushov/Ken1.0-67B:training datasetOrganizations
upvoted 2
papers about 2 months ago