AI for Math Reasoning

AI4Math's activity

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

lorn666 

updated a dataset 2 days ago

AI4Math/IneqMath

Preview • Updated 2 days ago • 834 • 8

lorn666 

updated a Space 6 days ago

Running

4

4

IneqMath Leaderboard

🦀

Load and display a Hugging Face space with a blue UI

lupantech 

authored 6 papers 22 days 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 24 days ago • 62

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

Paper • 2510.05592 • Published 24 days ago • 94

CaraJ 

authored a paper 3 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 4 months ago

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

1

#3 opened 4 months ago by

nielsr

lorn666 

in AI4Math/IneqMath 4 months ago

[bot] Conversion to Parquet

#1 opened 5 months ago by

parquet-converter

Missing solutions for dev split

1

#3 opened 4 months ago by

tarun360

lupantech 

in AI4Math/MathVista 4 months ago

Missing answers in test dataset

2

#4 opened 7 months ago by

alodsz

lorn666 

in AI4Math/IneqMath 5 months ago

Add library_name to metadata

#2 opened 5 months ago by

nielsr

lupantech 

published a Space 5 months ago

Running

4

4

IneqMath Leaderboard

🦀

Load and display a Hugging Face space with a blue UI

CaraJ 

authored a paper 5 months ago

MINT-CoT: Enabling Interleaved Visual Tokens in Mathematical Chain-of-Thought Reasoning

Paper • 2506.05331 • Published Jun 5 • 13

CaraJ 

authored a paper 6 months ago

T2I-R1: Reinforcing Image Generation with Collaborative Semantic-level and Token-level CoT

Paper • 2505.00703 • Published May 1 • 44

liujch1998 

authored 2 papers 7 months ago

Efficient Test-Time Scaling via Self-Calibration

Paper • 2503.00031 • Published Feb 25 • 15

OLMoTrace: Tracing Language Model Outputs Back to Trillions of Training Tokens

Paper • 2504.07096 • Published Apr 9 • 76

lupantech 

authored a paper 8 months ago

LLaMA-Adapter: Efficient Fine-tuning of Language Models with Zero-init Attention

Paper • 2303.16199 • Published Mar 28, 2023 • 4