Running
Agents
Croissant Checker - Dev
🔎
Validate Croissant JSON-LD files for NeurIPS submissions
Luke Alexander
lukealex
AI & ML interests
None yet
Recent Activity
upvoted a paper 7 days ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics upvoted a paper 8 months ago
Semantic Search over 9 Million Mathematical Theorems liked a dataset 8 months ago
uw-math-ai/theorem-search-datasetOrganizations
