awesome-ai-for-math

Algebra papers

Title	Subject(s)	Venue & Year	Links & Resources
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale	Algebra, LLM, CNN, ATP	arXiv 2025	Code Site