Krishi Attri

kattri15's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a collection 3 days ago

mathlas

Collection

Airtight math tools an AI uses over MCP - Lean kernel, PSLQ, OEIS, 3.68M-doc retrieval. Code: https://github.com/Archerkattri/mathlas • 1 item • Updated 3 days ago

updated a dataset 3 days ago

kattri15/mathlas-corpus

Viewer • Updated 3 days ago • 3.68M • 79

published a dataset 19 days ago

kattri15/mathlas-corpus

Viewer • Updated 3 days ago • 3.68M • 79