fzyzcjy/ai_math_paper_list

AI for Mathematics Paper List

14
/ 100
Experimental

This list helps researchers and practitioners in AI-driven mathematics easily find and organize relevant academic papers. It takes a broad collection of AI4Math papers and outputs curated sub-lists, like those from top conferences or specific topics like proof assistants. Anyone involved in mathematics research, AI development for mathematical tasks, or academic literature review in this field would find this valuable.

No commits in the last 6 months.

Use this if you need a comprehensive and filterable database of AI for Mathematics papers to stay current with research or inform your work.

Not ideal if you are looking for highly curated, personal recommendations or deep dives into specific papers rather than a broad collection.

mathematics-research ai-for-math academic-literature proof-assistants machine-learning-in-math
No License Stale 6m No Package No Dependents
Maintenance 0 / 25
Adoption 6 / 25
Maturity 8 / 25
Community 0 / 25

How are scores calculated?

Stars

17

Forks

Language

License

Last pushed

Jan 14, 2025

Commits (30d)

0

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/fzyzcjy/ai_math_paper_list"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.