# Forging New Paradigms in Analysis and Partial Differential Equations: A Synergy of Artificial Intelligence and Computer-Assisted Proofs

**Budget Signal Score:** 55/100

| Field | Value |
|---|---|
| Institution | Brown University |
| Location | PROVIDENCE, RI |
| Project | Forging New Paradigms in Analysis and Partial Differential Equations: A Synergy of Artificial Intelligence and Computer-Assisted Proofs |
| Award amount | $300,000 |
| Obligated so far | $300,000 |
| Awarded | 2026-07-10 |
| Period | 2026-09-01 to 2029-08-31 |
| Program | ANALYSIS PROGRAM |
| Directorate / division | MPS / MMS |
| Award ID | 2554957 |

## Why this score
- Award of $300K or more.
- Equipment- and compute-heavy field.

Source: U.S. National Science Foundation Awards API (https://www.nsf.gov/awardsearch/showAward?AWD_ID=2554957). Last refreshed: 2026-11-03T18:10:42.804Z.
Award data comes from the NSF Awards API and may be amended by NSF. Institution-level only; investigator contact details are not included. Informational only.