Skip to the ledger

GrantClerk

NSF award 2601956 · Carnegie Mellon University

Collaborative Research: MFAI: Mathematical Foundations of Chain-of-Thought: Demystifying Reasoning Capabilities of Transformers

Final report due

28 January 2030

in 1,198 days · The award ends on 30 September 2029.

GrantClerk is a private service. We are not NSF or any government agency.

Dates this award owes

NSF emails you about this too.

  • Decide about an extension2 Jun 2029in 958 days

    award ending 2029-09-30 · Research.gov

  • Extension request16 Aug 2029in 1033 days

    award ending 2029-09-30 · Research.gov

  • No-cost extension notice20 Sep 2029in 1068 days

    award ending 2029-09-30 · Research.gov

  • Final report due28 Jan 2030in 1198 days

    award ending 2029-09-30 · Research.gov

  • Project outcomes report due28 Jan 2030in 1198 days

    award ending 2029-09-30 · Research.gov

  • Award is closed out28 Jan 2030in 1198 days

    award ending 2029-09-30 · Research.gov

Annual report dates come from the budget period on your award notice. That date is not public, so it is not shown here.

How we got this date

  1. NSF lists this award's end date as 30 September 2029.
  2. NSF rules say the final report is due no later than 120 days after that.
  3. So the final report is due by 28 January 2030.

Read the rule on Research.gov

Get a note before each report date

Add this award to your desk. We email you before each date and keep the dates in one place.

Renews each year until you cancel. Cancel any time from your account.

Already a member? Sign in

Award card

Award number
2601956
Period of support
1 Oct 2026 – 30 Sep 2029
Amount
$333,333
Awardee
Carnegie Mellon University, Pittsburgh, PA
Program
Special Projects - CCF, EPCL: Energy, Power, Control,, MSPA-INTERDISCIPLINARY
Directorate
MPS

Abstract

Artificial intelligence (AI) is driving rapid advances across science, technology, and society, yet the most powerful AI systems, such as large language models, remain difficult to explain, predict, and trust. These models often solve complex reasoning tasks in mathematics, coding, and planning by generating intermediate chain-of-thought steps. However, a mathematical understanding of how such reasoning capabilities…

Is this right?

We copy this from the public NSF award record. Your award notice and NSF always win. If a date looks wrong, check Research.gov.