# Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

Federal grant opportunity, via Kontrakk.

- **Agency:** U.S. National Science Foundation
- **Opportunity number:** 24-554
- **Status:** posted
- **Opens:** October 13, 2026
- **CFDA:** 47.049
- **View on Kontrakk:** https://kontrakk.com/grants/364068

## Description

No description provided.