AI for Math Reasoning

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

lupantech authored a paper about 10 hours ago

Solving Inequality Proofs with Large Language Models

lupantech authored a paper about 10 hours ago

Fractional Reasoning via Latent Steering Vectors Improves Inference Time Compute

lupantech authored a paper about 10 hours ago

Where LLM Agents Fail and How They can Learn From Failures

View all activity

spaces 2

IneqMath Dev Evaluation

Load and display a Hugging Face Space

IneqMath Leaderboard

Load and display a Hugging Face Space with a blue UI

models 0

None public yet

datasets 3

AI4Math/IneqMath

Viewer • Updated Aug 25 • 6.73k • 851 • 7

AI4Math/MathVerse

Viewer • Updated May 15 • 4.73k • 1.36k • 63

AI4Math/MathVista

Viewer • Updated Feb 11, 2024 • 6.14k • 16k • 183