Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with ai4math
A curated list of projects in awesome lists tagged with ai4math .
https://github.com/lupantech/MathVista
MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
ai4math large-language-models large-multimadality-models machine-learning mathematics mathqa science visual-question-answering
Last synced: 31 Jul 2024
https://github.com/j991222/ai4math-papers
AI for Mathematics (AI4Math) paper list
ai4math autoformalizaion automated-theorem-proving benchmarks machine-learning paper-list reinforcement-learning
Last synced: 09 Aug 2024