Open Issues Need Help
View All on GitHub Add a test suite and gate CI on it about 2 hours ago
enhancement help wanted P1
Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset
TypeScript
Auto-populate submission fields from an arXiv link about 2 hours ago
enhancement help wanted P1
Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset
TypeScript
Add a site-level AI disclosure page and footer link about 2 hours ago
enhancement good first issue P1 ai-transparency
Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset
TypeScript