AI for Math Reasoning

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

lorn666 updated a Space 1 day ago

AI4Math/IneqMath-Leaderboard

lorn666 updated a dataset 5 days ago

AI4Math/IneqMath

lupantech authored a paper 18 days ago

Solving Inequality Proofs with Large Language Models

View all activity

spaces 1

IneqMath Leaderboard

Load and display a Hugging Face space with a blue UI

models 0

None public yet

datasets 3

AI4Math/IneqMath

Viewer • Updated 5 days ago • 6.73k • 719 • 8

AI4Math/MathVerse

Viewer • Updated May 15 • 4.73k • 1.46k • 65

AI4Math/MathVista

Viewer • Updated Feb 11, 2024 • 6.14k • 12k • 190