{"id":23086952,"url":"https://github.com/fzyzcjy/ai_math_paper_list","last_synced_at":"2026-02-13T05:04:06.876Z","repository":{"id":261773241,"uuid":"870626336","full_name":"fzyzcjy/ai_math_paper_list","owner":"fzyzcjy","description":"AI for Mathematics Paper List","archived":false,"fork":false,"pushed_at":"2025-01-14T03:21:56.000Z","size":1931,"stargazers_count":17,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-09-07T07:42:44.634Z","etag":null,"topics":["deep-learning","machine-learning","mathematics","paper-list"],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/fzyzcjy.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-10-10T11:35:47.000Z","updated_at":"2025-03-31T05:38:26.000Z","dependencies_parsed_at":"2025-01-14T04:30:40.392Z","dependency_job_id":"a55449dc-9ecc-4eea-ad2a-b53383279591","html_url":"https://github.com/fzyzcjy/ai_math_paper_list","commit_stats":{"total_commits":8,"total_committers":1,"mean_commits":8.0,"dds":0.0,"last_synced_commit":"111b8a7fea62e78777e53f6fadc8b3c0b415b11a"},"previous_names":["fzyzcjy/ai_math_paper_list"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/fzyzcjy/ai_math_paper_list","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fzyzcjy%2Fai_math_paper_list","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fzyzcjy%2Fai_math_paper_list/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fzyzcjy%2Fai_math_paper_list/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fzyzcjy%2Fai_math_paper_list/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fzyzcjy","download_url":"https://codeload.github.com/fzyzcjy/ai_math_paper_list/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fzyzcjy%2Fai_math_paper_list/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29396847,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-13T04:26:15.637Z","status":"ssl_error","status_checked_at":"2026-02-13T04:16:29.732Z","response_time":78,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["deep-learning","machine-learning","mathematics","paper-list"],"created_at":"2024-12-16T19:38:33.088Z","updated_at":"2026-02-13T05:04:06.863Z","avatar_url":"https://github.com/fzyzcjy.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# AI for Mathematics Paper List\n\n![GitHub last commit](https://img.shields.io/github/last-commit/fzyzcjy/ai_math_paper_list)\n[![HuggingFace dataset](https://img.shields.io/badge/HuggingFace-dataset-blue)](https://huggingface.co/datasets/fzyzcjy/ai_math_paper_list)\n\nThis is a periodically updated paper list of AI4Math.\n\nSince papers can have different usages and significance for different people, I try to avoid only providing the ones that I personally find interesting. Instead, here is the long list that can be skimmed and filtered (more details below).\n\nIt is a by-product when I read papers, and is open sourced because I hope it may be a little bit helpful to others.\n\n## Usage\n\n### a. Direct reading\n\nHere are some sub-lists that may be potentially interesting:\n\n* [ICLR 2025 Submissions](render/iclr_2025_submissions.md)\n* [NeurIPS 2024](render/neurips_2024.md)\n* [All top conferences](render/top_conferences.md)\n* [Papers using proof assistants](render/proof_assistants.md) (Lean / Isabelle / ...)\n* [Highly cited papers](render/highly_cited.md)\n* [Papers highly cited by others in this field](render/highly_cited_ai4math_by_ai4math.md)\n* [Recent ArXiv](render/recent_arxiv.md)\n\nThe full list of papers without any filtering is [here](render/all.md) (Markdown) / [here](https://huggingface.co/datasets/fzyzcjy/ai_math_paper_list) (Dataset).\n\n### b. Custom filtering / RAG / ...\n\nThis list is also provided as a [dataset](https://huggingface.co/datasets/fzyzcjy/ai_math_paper_list), with each row being a paper. Example usages may possibly be:\n\n* Filter the list: This can be done via keywords, labels, or even LLMs. For example, \"citation \u003e 50 OR top conference\", or \"filter papers if Llama3 thinks this contains things of my personal interest\".\n    * Supported labels: `citation_count`, `content_markdown`, `publish_info`, `publish_is_top`, `tldr_text`, `citation_count_filtered_math_and_top_conf`, `theorem_provers`, as well as normal `title`, `abstract`, `authors`, `date`, `url`, etc\n* Feed it into RAG systems: Then, this dataset (or a chosen subset) can be a source of truth for LLMs when talking with it.\n* Skim the missing pieces: For example, by excluding the papers already in your Zotero, the remaining may contain missing papers and may worth a skim.\n* In the future, AI may be powerful enough to read these papers and output summarizations / trends / insights / ideas / ...\n* ...\n\n## Statistics\n\nThe number of AI4Math papers collected in this repository.\n\n![Statistics](img/stat.svg)\n\n## Other Resources\n\nHere are some other great resources, and many thanks to them!\n\n* https://github.com/j991222/ai4math-papers\n* https://github.com/zhaoyu-li/DL4TP\n* https://github.com/lupantech/dl4math\n* https://github.com/hijkzzz/Awesome-LLM-Strawberry\n* https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffzyzcjy%2Fai_math_paper_list","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffzyzcjy%2Fai_math_paper_list","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffzyzcjy%2Fai_math_paper_list/lists"}