AI for Math Reasoning

AI4Math's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

lupantech 

authored a paper 5 days ago

Adaptation of Agentic AI

Paper • 2512.16301 • Published 13 days ago • 96

liujch1998 

submitted a paper to Daily Papers 14 days ago

Feedforward 3D Editing via Text-Steerable Image-to-3D

Paper • 2512.13678 • Published 15 days ago • 13

lupantech 

updated a dataset 16 days ago

AI4Math/IneqMath

Preview • Updated 16 days ago • 1.9k • 11

CaraJ 

authored a paper 18 days ago

Are We Ready for RL in Text-to-3D Generation? A Progressive Investigation

Paper • 2512.10949 • Published 19 days ago • 45

CaraJ 

authored a paper 26 days ago

DraCo: Draft as CoT for Text-to-Image Preview and Rare Concept Generation

Paper • 2512.05112 • Published 26 days ago • 11

lupantech 

authored a paper about 1 month ago

Latent Collaboration in Multi-Agent Systems

Paper • 2511.20639 • Published Nov 25 • 117

ZrrSkywalker 

authored a paper about 1 month ago

Thinking-while-Generating: Interleaving Textual Reasoning throughout Visual Generation

Paper • 2511.16671 • Published Nov 20 • 15

CaraJ 

authored a paper about 2 months ago

Are Video Models Ready as Zero-Shot Reasoners? An Empirical Study with the MME-CoF Benchmark

Paper • 2510.26802 • Published Oct 30 • 33

lorn666 

updated a dataset about 2 months ago

AI4Math/IneqMath

Preview • Updated 16 days ago • 1.9k • 11

lorn666 

updated a Space 2 months ago

Running

5

IneqMath Leaderboard

🦀

5

Load and display a Hugging Face space with a blue UI

lupantech 

authored 6 papers 3 months ago

Solving Inequality Proofs with Large Language Models

Paper • 2506.07927 • Published Jun 9 • 20

Fractional Reasoning via Latent Steering Vectors Improves Inference Time Compute

Paper • 2506.15882 • Published Jun 18 • 2

Where LLM Agents Fail and How They can Learn From Failures

Paper • 2509.25370 • Published Sep 29 • 11

Learning Human-Perceived Fakeness in AI-Generated Videos via Multimodal LLMs

Paper • 2509.22646 • Published Sep 26 • 16

TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning

Paper • 2510.06217 • Published Oct 7 • 63

In-the-Flow Agentic System Optimization for Effective Planning and Tool Use

Paper • 2510.05592 • Published Oct 7 • 106

CaraJ 

authored a paper 5 months ago

Echo-4o: Harnessing the Power of GPT-4o Synthetic Images for Improved Image Generation

Paper • 2508.09987 • Published Aug 13 • 25

CaraJ 

in AI4Math/MathVerse 6 months ago

Improve dataset card for MathVerse: Add task category, tags, and related survey link

1

#3 opened 6 months ago by

nielsr

lorn666 

in AI4Math/IneqMath 6 months ago

[bot] Conversion to Parquet

#1 opened 7 months ago by

parquet-converter

Missing solutions for dev split

1

#3 opened 6 months ago by

tarun360