AI for Math Reasoning

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

lorn666 updated a dataset about 3 hours ago

AI4Math/IneqMath

lorn666 updated a Space 3 days ago

AI4Math/IneqMath-Leaderboard

lupantech authored a paper 19 days ago

Solving Inequality Proofs with Large Language Models

View all activity

AI4Math 's models

None public yet