# MFAI: Logic and the Theory of Neural Language Models

> **NSF 01002526DB NSF RESEARCH & RELATED ACTIVIT** · University of Notre Dame (IN) · $760,000

## Abstract

Large language models (LLMs) are advancing the state of the art in nearly all areas of artificial intelligence, yet they remain poorly understood. At a time when new abilities as well as new limitations of LLMs are continually coming to light, a clear understanding of what they can and cannot do (that is, their expressivity) is becoming increasingly important. Furthermore, differentiating between the tasks that LLMs can solve at all scales, and those that LLMs can solve at small scales but are guaranteed to fail on at larger scales can be central to the success of some applications of LLMs, particularly where safety guarantees are needed. These questions can be answered with certainty only by mathematical verification. This project is contributing to the study of connections between LLM expressivity and mathematical logic. It is using those connections to reap both theoretical and practical benefits, in the form of new guarantees for LLMs, new extensions of LLMs, new methods for explaining how LLMs work, as well as new developments in mathematical logic.

Just as the Curry-Howard isomorphism established a deep connection between logic and programming languages that enabled many results to be exchanged between the two fields, we are developing a "Curry-Howard isomorphism for neural networks": not merely a connection between one kind of neural network and one logic, but a correspondence between the elements of neural networks and the elements of logic that leads to a rich exc

## Key facts

- **NSF award ID:** 2502292
- **Awardee organization:** University of Notre Dame (IN)
- **SAM.gov UEI:** FPU6XGFXMBE9
- **PI:** David W Chiang
- **Primary program:** 01002526DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** Artificial Intelligence (AI), Machine Learning Theory
- **Estimated total:** $760,000
- **Funds obligated:** $760,000
- **Transaction type:** Standard Grant
- **Period:** 08/15/2025 → 07/31/2028

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2502292

## Citation

> US National Science Foundation, Award 2502292, MFAI: Logic and the Theory of Neural Language Models. Retrieved via AI Analytics 2026-06-08 from https://api.ai-analytics.org/grant/nsf/2502292. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*