AI for Math Reasoning

AI4Math's activity

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

lupantech 

authored a paper 3 days ago

ChemAgent: Self-updating Library in Large Language Models Improves Chemical Reasoning

Paper • 2501.06590 • Published 6 days ago • 7

liujch1998 

authored 12 papers 11 days ago

Don't throw away your value model! Making PPO even better via Value-Guided Monte-Carlo Tree Search decoding

Paper • 2309.15028 • Published Sep 26, 2023 • 1

MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts

Paper • 2310.02255 • Published Oct 3, 2023 • 2

Crystal: Introspective Reasoners Reinforced with Self-Feedback

Paper • 2310.04921 • Published Oct 7, 2023 • 1

NaturalProofs: Mathematical Theorem Proving in Natural Language

Paper • 2104.01112 • Published Mar 24, 2021

Generated Knowledge Prompting for Commonsense Reasoning

Paper • 2110.08387 • Published Oct 15, 2021

Minds versus Machines: Rethinking Entailment Verification with Language Models

Paper • 2402.03686 • Published Feb 6, 2024 • 1

NaturalProver: Grounded Mathematical Proof Generation with Language Models

Paper • 2205.12910 • Published May 25, 2022

Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering

Paper • 2210.03078 • Published Oct 6, 2022 • 1

Unpacking DPO and PPO: Disentangling Best Practices for Learning from Preference Feedback

Paper • 2406.09279 • Published Jun 13, 2024 • 2

AI as Humanity's Salieri: Quantifying Linguistic Creativity of Language Models via Systematic Attribution of Machine Text against Web Text

Paper • 2410.04265 • Published Oct 5, 2024

Establishing Task Scaling Laws via Compute-Efficient Model Ladders

Paper • 2412.04403 • Published Dec 5, 2024 • 2

2 OLMo 2 Furious

Paper • 2501.00656 • Published 17 days ago • 15

CaraJ 

authored 2 papers about 1 month ago

MoVA: Adapting Mixture of Vision Experts to Multimodal Context

Paper • 2404.13046 • Published Apr 19, 2024 • 1

EasyRef: Omni-Generalized Group Image Reference for Diffusion Models via Multimodal LLM

Paper • 2412.09618 • Published Dec 12, 2024 • 21

lupantech 

authored a paper 4 months ago

MMSearch: Benchmarking the Potential of Large Models as Multi-modal Search Engines

Paper • 2409.12959 • Published Sep 19, 2024 • 37

CaraJ 

authored 2 papers 4 months ago

MMSearch: Benchmarking the Potential of Large Models as Multi-modal Search Engines

Paper • 2409.12959 • Published Sep 19, 2024 • 37

Temporal Enhanced Training of Multi-view 3D Object Detector via Historical Object Prediction

Paper • 2304.00967 • Published Apr 3, 2023

CaraJ 

authored a paper 6 months ago

MAVIS: Mathematical Visual Instruction Tuning

Paper • 2407.08739 • Published Jul 11, 2024 • 31

ZrrSkywalker 

authored a paper 6 months ago

MAVIS: Mathematical Visual Instruction Tuning

Paper • 2407.08739 • Published Jul 11, 2024 • 31