lupantech/dl4math
Resources of deep learning for mathematical reasoning (DL4MATH).
This project offers a curated collection of research papers and resources focused on using deep learning to solve complex mathematical problems. It brings together academic surveys, benchmark datasets, workshops, and talks related to applications like solving math word problems and automated theorem proving. Researchers and practitioners in AI and machine learning fields would use this to understand the current landscape and advance mathematical reasoning capabilities in AI.
371 stars. No commits in the last 6 months.
Use this if you are a researcher or AI practitioner looking for a comprehensive overview and resources on integrating deep learning techniques with mathematical problem-solving.
Not ideal if you are looking for an off-the-shelf software tool to directly solve mathematical problems without deep learning research involvement.
Stars
371
Forks
28
Language
—
License
MIT
Category
Last pushed
Dec 22, 2023
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/lupantech/dl4math"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
harvard-edge/cs249r_book
Machine Learning Systems
wx-chevalier/AI-Notes
:books: [.md & .ipynb] Series of Artificial Intelligence & Deep Learning, including Mathematics...
datawhalechina/key-book
《机器学习理论导引》（宝箱书）的证明、案例、概念补充与参考文献讲解。
rickiepark/handson-ml3
<핸즈온 머신러닝 3판>의 주피터 노트북 저장소
Ceyron/machine-learning-and-simulation
All the handwritten notes 📝 and source code files 🖥️ used in my YouTube Videos on Machine...