j991222 / ai4math-papers

AI for Mathematics (AI4Math) paper list

Date Created 2023-04-24 (about a year ago)

Commits 22 (last one about a month ago)

Stargazers 80 (9 this week)

Watchers 3 (0 this week)

Forks 3

License unknown

Ranking

RepositoryStats indexes 534,880 repositories, of these j991222/ai4math-papers is ranked #316,024 (41st percentile) for total stargazers, and #399,187 for total watchers.

j991222/ai4math-papers is also tagged with popular topics, for these it's ranked: machine-learning (#4,968/7374), reinforcement-learning (#765/1190)

All Topics

ai4math benchmarks paper-list autoformalizaion machine-learning reinforcement-learning automated-theorem-proving

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

22 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

We don't have any language data for this repository

It's a mystery

updated: 2024-07-01 @ 12:17pm, id: 631913357 / R_kgDOJao7jQ