reasoning-survey
Awesome-Reasoning-Foundation-Models

✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models

Last updated Jul 30, 2026
655
Stars
61
Forks
6
Issues
0
Stars/day
Attention Score
59
Language breakdown
No language data available.
Files click to expand
README

Awesome-Reasoning-Foundation-Models

Awesome DOI arXiv

overview

survey.pdf | A curated list of awesome large AI models, or foundation models, for reasoning.

We organize the current foundation models into three categories: language foundation models, vision foundation models, and multimodal foundation models. Further, we elaborate the foundation models in reasoning tasks, including commonsense, mathematical, logical, causal, visual, audio, multimodal, agent reasoning, etc. Reasoning techniques, including pre-training, fine-tuning, alignment training, mixture of experts, in-context learning, and autonomous agent, are also summarized.

We welcome contributions to this repository to add more resources. Please submit a pull request if you want to contribute! See CONTRIBUTING.

Table of Contents

table of contents

- 2.1 Language Foundation Models - 2.2 Vision Foundation Models - 2.3 Multimodal Foundation Models - 2.4 Reasoning Applications - 3.1 Commonsense Reasoning - 3.2 Mathematical Reasoning - 3.3 Logical Reasoning - 3.4 Causal Reasoning - 3.5 Visual Reasoning - 3.6 Audio Reasoning - 3.7 Multimodal Reasoning - 3.8 Agent Reasoning - 3.9 Other Tasks and Applications - 4.1 Pre-Training - 4.2 Fine-Tuning - 4.3 Alignment Training - 4.4 Mixture of Experts (MoE) - 4.5 In-Context Learning - 4.6 Autonomous Agent

0 Survey

overview

This repository is primarily based on the following paper:

>A Survey of Reasoning with Foundation Models: Concepts, Methodologies, and Outlook
>

[Paper][ArXiv]
>
[Jiankai Sun](),
Chuanyang Zheng, Enze Xie, Zhengying Liu, [Ruihang Chu](), [Jianing Qiu](), [Jiaqi Xu](), [Mingyu Ding](), Hongyang Li, [Mengzhe Geng](), [Yue Wu](), Wenhai Wang, [Junsong Chen](), [Zhangyue Yin](), [Xiaozhe Ren](), Jie Fu, Junxian He, Wu Yuan, Qi Liu, Xihui Liu, Yu Li, Hao Dong, Yu Cheng, Ming Zhang, Pheng Ann Heng, Jifeng Dai, Ping Luo, Jingdong Wang, Ji-Rong Wen, Xipeng Qiu, Yike Guo, Hui Xiong, Qun Liu, and Zhenguo Li

If you find this repository helpful, please consider citing:

@article{sun2025survey,
  author = {Sun, Jiankai and Zheng, Chuanyang and Xie, Enze and Liu, Zhengying and Chu, Ruihang and Qiu, Jianing and Xu, Jiaqi and Ding, Mingyu and Li, Hongyang and Geng, Mengzhe and Wu, Yue and Wang, Wenhai and Chen, Junsong and Yin, Zhangyue and Ren, Xiaozhe and Fu, Jie and He, Junxian and Wu, Yuan and Liu, Qi and Liu, Xihui and Li, Yu and Dong, Hao and Cheng, Yu and Zhang, Ming and Heng, Pheng Ann and Dai, Jifeng and Luo, Ping and Wang, Jingdong and Wen, Ji-Rong and Qiu, Xipeng and Guo, Yike and Xiong, Hui and Liu, Qun and Li, Zhenguo},
  title = {A Survey of Reasoning with Foundation Models: Concepts, Methodologies, and Outlook},
  year = {2025},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  issn = {0360-0300},
  url = {https://doi.org/10.1145/3729218},
  doi = {10.1145/3729218},
  abstract = {Reasoning, a crucial ability for complex problem-solving, plays a pivotal role in various real-world settings such as negotiation, medical diagnosis, and criminal investigation. It serves as a fundamental methodology in the field of Artificial General Intelligence (AGI). With the ongoing development of foundation models, there is a growing interest in exploring their abilities in reasoning tasks. In this paper, we introduce seminal foundation models proposed or adaptable for reasoning, highlighting the latest advancements in various reasoning tasks, methods, and benchmarks. We then delve into the potential future directions behind the emergence of reasoning abilities within foundation models. We also discuss the relevance of multimodal learning, autonomous agents, and super alignment in the context of reasoning. By discussing these future research directions, we hope to inspire researchers in their exploration of this field, stimulate further advancements in reasoning with foundation models, e.g. Large Language Models (LLMs), and contribute to the development of AGI.},
  journal = {ACM Comput. Surv.},
  month = apr,
  keywords = {Reasoning, Foundation Models, Multimodal, AI Agent, Artificial General Intelligence, LLM}
}

1 Relevant Surveys and Links

relevant surveys

(Back-to-Top)

  • Combating Misinformation in the Age of LLMs: Opportunities and Challenges
\- [arXiv] [Link]
  • The Rise and Potential of Large Language Model Based Agents: A Survey
\- [arXiv] [Link]
  • Multimodal Foundation Models: From Specialists to General-Purpose Assistants
\- [arXiv] [Tutorial]
  • A Survey on Multimodal Large Language Models
\- [arXiv] [Link]
  • Interactive Natural Language Processing
\- [arXiv] [Link]
  • A Survey of Large Language Models
\- [arXiv] [Link]
  • Self-Supervised Multimodal Learning: A Survey
\- [arXiv] [Link]
  • Large AI Models in Health Informatics: Applications, Challenges, and the Future
\- [arXiv] [Paper] [Link]
  • Towards Reasoning in Large Language Models: A Survey
\- [arXiv] [Paper] [Link]
  • Reasoning with Language Model Prompting: A Survey
\- [arXiv] [Paper] [Link]
  • Awesome Multimodal Reasoning
\- [Link]

2 Foundation Models

foundation models

(Back-to-Top)

foundation_models

Table of Contents - 2

foundation models (table of contents)

(Back-to-Top)

- 2.1 Language Foundation Models - 2.2 Vision Foundation Models - 2.3 Multimodal Foundation Models - 2.4 Reasoning Applications

2.1 Language Foundation Models

LFMs

Foundation Models (Back-to-Top)

\- [Paper] [Code] \- [Paper] [Code] [Project] \- [Paper] [Code] [Blog]
  • 2023/07 | InternLM | InternLM: A Multilingual Language Model with Progressively Enhanced Capabilities
\- [Paper] [Code] [Project] \- \- [Paper]
  • 2023/03 | Vicuna | Vicuna: An Open-Source Chatbot Impressing GPT-4 with 90%* ChatGPT Quality
\- [Blog] [Code] \- [Paper] [Blog] \- [Paper] [Code] [Blog]
  • 2022/11 | ChatGPT | Chatgpt: Optimizing language models for dialogue
\- [Blog] \- [Paper] [Blog] \- \- \- [Paper] [Code] \- [Paper] [Code] \- \- \- [Paper] [Code] [Blog]

2.2 Vision Foundation Models

VFMs

Foundation Models (Back-to-Top)

  • 2024/01 | Depth Anything
| Yang et al. citations Star
Depth Anything: Unleashing the Power of Large-Scale Unlabeled Data
[arXiv] [paper] [code] [project]
  • 2023/05 | SAA+
| Cao et al. citations Star
Segment Any Anomaly without Training via Hybrid Prompt Regularization
[arXiv] [paper] [code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code]
  • 2023/04 | SAM
| Kirillov et al., ICCV 2023 citations Star
Segment Anything
[arXiv] [paper] [code] [blog] \- [Paper] [Code]
  • 2023/03 | Grounding DINO
| Liu et al. citations Star
Grounding DINO: Marrying DINO with Grounded Pre-Training for Open-Set Object Detection
[arXiv] [paper] [code] \- [Paper] [Code]
  • 2021/12 | Stable Diffusion
| Rombach et al., CVPR 2022 citations Star
High-Resolution Image Synthesis with Latent Diffusion Models
[arXiv] [paper] [code] [stable diffusion Star] \- [Paper] [Code]
  • 2021/03 | Swin
| Liu et al., ICCV 2021 citations Star
Swin Transformer: Hierarchical Vision Transformer using Shifted Windows
[arXiv] [paper] [code]
  • 2020/10 | ViT
| Dosovitskiy et al., ICLR 2021 citations
An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale
[arXiv] [paper] [Implementation]

2.3 Multimodal Foundation Models

MFMs

Foundation Models (Back-to-Top)

  • 2024/01 | LLaVA-1.6
| Liu et al.
LLaVA-1.6: Improved reasoning, OCR, and world knowledge
[code] [blog]
  • 2024/01 | MouSi
| Fan et al. Star
MouSi: Poly-Visual-Expert Vision-Language Models
[arXiv] [paper] [code]
  • 2023/12 | InternVL
| Chen et al. citations Star
InternVL: Scaling up Vision Foundation Models and Aligning for Generic Visual-Linguistic Tasks
[arXiv] [paper] [code] \- [Paper] [Project]
  • 2023/10 | LLaVA-1.5
| Liu et al. citations
Improved Baselines with Visual Instruction Tuning
[arXiv] [paper] [code] [project]
  • 2023/09 | GPT-4V | GPT-4V(ision) System Card
\- [Paper] [Blog] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] \- \- [Paper] [Code] [Project] \- [Paper] [Code] \- \- [Paper] [Code] \- [Paper] [Code] \- \- [Paper] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] [Blog]

2.4 Reasoning Applications

reasoning applications

Foundation Models (Back-to-Top)

\- [Paper] [Blog] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code]

3 Reasoning Tasks

reasoning tasks

(Back-to-Top)

Table of Contents - 3

reasoning tasks (table of contents)

- 3.1 Commonsense Reasoning - 3.1.1 Commonsense Question and Answering (QA) - 3.1.2 Physical Commonsense Reasoning - 3.1.3 Spatial Commonsense Reasoning - 3.1.x Benchmarks, Datasets, and Metrics - 3.2 Mathematical Reasoning - 3.2.1 Arithmetic Reasoning - 3.2.2 Geometry Reasoning - 3.2.3 Theorem Proving - 3.2.4 Scientific Reasoning - 3.2.x Benchmarks, Datasets, and Metrics - 3.3 Logical Reasoning - 3.3.1 Propositional Logic - 3.3.2 Predicate Logic - 3.3.x Benchmarks, Datasets, and Metrics - 3.4 Causal Reasoning - 3.4.1 Counterfactual Reasoning - 3.4.x Benchmarks, Datasets, and Metrics - 3.5 Visual Reasoning - 3.5.1 3D Reasoning - 3.5.x Benchmarks, Datasets, and Metrics - 3.6 Audio Reasoning - 3.6.1 Speech - 3.6.x Benchmarks, Datasets, and Metrics - 3.7 Multimodal Reasoning - 3.7.1 Alignment - 3.7.2 Generation - 3.7.3 Multimodal Understanding - 3.7.x Benchmarks, Datasets, and Metrics - 3.8 Agent Reasoning - 3.8.1 Introspective Reasoning - 3.8.2 Extrospective Reasoning - 3.8.3 Multi-agent Reasoning - 3.8.4 Driving Reasoning - 3.8.x Benchmarks, Datasets, and Metrics - 3.9 Other Tasks and Applications - 3.9.1 Theory of Mind (ToM) - 3.9.2 LLMs for Weather Prediction - 3.9.3 Abstract Reasoning - 3.9.4 Defeasible Reasoning - 3.9.5 Medical Reasoning - 3.9.6 Bioinformatics Reasoning - 3.9.7 Long-Chain Reasoning

3.1 Commonsense Reasoning

commonsense reasoning

Reasoning Tasks (Back-to-Top)

- 3.1.1 Commonsense Question and Answering (QA) - 3.1.2 Physical Commonsense Reasoning - 3.1.3 Spatial Commonsense Reasoning - 3.1.x Benchmarks, Datasets, and Metrics


\- [Paper] [Code] \- [Paper] [Code] [Project]
  • 2023/05 | Bridging the Gap between Pre-Training and Fine-Tuning for Commonsense Generation
\- [Paper] [Code] \- [Paper] [Code] [Project] \- [Paper] [Code] \- [Paper] \- [Paper]

3.1.1 Commonsense Question and Answering (QA)

\- [Paper] [Code] \- [Paper] [Code] [Project] \- [Paper] [Project]

3.1.2 Physical Commonsense Reasoning

\- [Paper] [Code] [Project] \- [Paper] [Code] [Project] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Project]

3.1.3 Spatial Commonsense Reasoning

  • 2024/01 | SpatialVLM
| Chen et al. citations
SpatialVLM: Endowing Vision-Language Models with Spatial Reasoning Capabilities
[arXiv] [paper] [project] \- [Paper] [Code] \- [Paper] [Code] \- [Paper] [Project]

3.1.x Benchmarks, Datasets, and Metrics

\- \- [Paper] [Code] \-
  • 2020/11 | ProtoQA | ProtoQA: A Question Answering Dataset for Prototypical Common-Sense Reasoning
\- [Paper] \- \- \- \- \- \- [Paper] \-
  • 2002/07 | BLEU | BLEU: a Method for Automatic Evaluation of Machine Translation
\- [Paper]

3.2 Mathematical Reasoning

mathematical reasoning

Reasoning Tasks (Back-to-Top)

- 3.2.1 Arithmetic Reasoning - 3.2.2 Geometry Reasoning - 3.2.3 Theorem Proving - 3.2.4 Scientific Reasoning - 3.2.x Benchmarks, Datasets, and Metrics


\- [Paper] [Code] [Project] | Lu et al., ICLR 2024
  • 2022/11 | Tokenization in the Theory of Knowledge
\- [Paper] \- [Paper]
  • 2004 | Wittgenstein on philosophy of logic and mathematics
\- [Paper]
  • 1989 | CLP | Connectionist Learning Procedures
\- [Paper]

3.2.1 Arithmetic Reasoning

Mathematical Reasoning (Back-to-Top)

\- \- [Paper] [Code] \- \- [Paper] \- [Paper] \- [Paper]

3.2.2 Geometry Reasoning

Mathematical Reasoning (Back-to-Top)

  • 2024/01 | AlphaGeometry | Solving olympiad geometry without human demonstrations
\- [Paper] [Code] [Blog] | Trinh et al., Nature \- [Paper]

3.2.3 Theorem Proving

Mathematical Reasoning (Back-to-Top)

\- \- [Paper] \- \- [Paper] \- \- \- \- \- \- \- [Paper]
  • 2019/06 | Metamath | A Computer Language for Mathematical Proofs
\- [Paper] \- [Paper]
  • 2015/08 | Lean | The Lean Theorem Prover (system description)
\- [Paper]
  • 2010/07 | Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers
\- [Paper]
  • 2010/04 | Formal Methods at Intel - An Overview
\- [Slides]
  • 2005/07 | Combining Simulation and Formal Verification for Integrated Circuit Design Validation
\- [Paper]
  • 2003 | Extracting a Formally Verified, Fully Executable
Compiler from a Proof Assistant \- [Paper]
  • 1996 | Coq | The Coq Proof Assistant-Reference Manual
\- [Project]
  • 1994 | Isabelle | Isabelle: A Generic Theorem Prover
\- [Paper]

3.2.4 Scientific Reasoning

Mathematical Reasoning (Back-to-Top)

\-
  • 2012 | Current Topics in Children's Learning and Cognition
\- [Book]

3.2.x Benchmarks, Datasets, and Metrics

Mathematical Reasoning (Back-to-Top)

  • 2024/01 | MathBench
Star
MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
[code] \- [Paper] \- \- \- \- [Paper] [Code] \- [Paper] [Code] [Blog] \- \- \- \- \- \- \- \- \- \- [Paper] \- \- \- \- \- [Paper] \- [Paper] \- \- [Paper] \-
  • 2017/05 | GeoShader | Synthesis of Solutions for Shaded Area Geometry Problems
\- [Paper] \- \- [Paper] \- \- \- [Paper] \- [Paper] \- \- [Paper]
  • 2015 | DRAW | DRAW: A Challenging and Diverse Algebra Word Problem Set
\- [Paper] \- [Paper] \- [Paper] \- [Paper] \- [Paper] \- [Paper]

3.3 Logical Reasoning

logical reasoning

Reasoning Tasks (Back-to-Top)

- 3.3.1 Propositional Logic - 3.3.2 Predicate Logic - 3.3.x Benchmarks, Datasets, and Metrics


\- \- \- \- \- \- \- \- \- [Paper] \- \- \- \- \- \- \- [Paper] \- [Paper] \- [Paper] \- \- \- \-
  • 2012 | Logical Reasoning and Learning
\- [Paper]

3.3.1 Propositional Logic

  • 2022/09 | Propositional Reasoning via Neural Transformer
Language Models \- [Paper
🔗 More in this category

© 2026 GitRepoTrend · reasoning-survey/Awesome-Reasoning-Foundation-Models · Updated daily from GitHub