AI for Math Reasoning

AI4Math's activity

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

lupantech 

authored a paper 15 days ago

Adaptation of Agentic AI

Paper • 2512.16301 • Published 22 days ago • 101

liujch1998 

submitted a paper to Daily Papers 23 days ago

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

Paper • 2512.13678 • Published 25 days ago • 13

lupantech 

updated a dataset 26 days ago

AI4Math/IneqMath

Preview • Updated 26 days ago • 1.79k • 11

CaraJ 

authored a paper 28 days ago

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

Paper • 2512.10949 • Published 29 days ago • 45

CaraJ 

authored a paper about 1 month ago

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

Paper • 2512.05112 • Published Dec 4, 2025 • 11

lupantech 

authored a paper about 1 month ago

Latent Collaboration in Multi-Agent Systems

Paper • 2511.20639 • Published Nov 25, 2025 • 117

ZrrSkywalker 

authored a paper about 2 months ago

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

Paper • 2511.16671 • Published Nov 20, 2025 • 15

CaraJ 

authored a paper 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, 2025 • 33

lorn666 

updated a dataset 2 months ago

AI4Math/IneqMath

Preview • Updated 26 days ago • 1.79k • 11

lorn666 

updated a Space 3 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, 2025 • 20

Fractional Reasoning via Latent Steering Vectors Improves Inference Time Compute

Paper • 2506.15882 • Published Jun 18, 2025 • 2

Where LLM Agents Fail and How They can Learn From Failures

Paper • 2509.25370 • Published Sep 29, 2025 • 11

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

Paper • 2509.22646 • Published Sep 26, 2025 • 16

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

Paper • 2510.06217 • Published Oct 7, 2025 • 63

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

Paper • 2510.05592 • Published Oct 7, 2025 • 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, 2025 • 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