National Science Foundation · AI · Instrument: Grants
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
AIMing was an NSF program run by the Directorate for Mathematical and Physical Sciences and the Directorate for Computer and Information Science and Engineering. It supported research at the intersection of computational and AI technologies and new strategies for mathematical reasoning, aimed at automating knowledge discovery. The NSF page states that program 24-554 was archived and links to projects the program funded.
Who can apply
- Eligibility
No separate eligibility field is recorded. Check the program summary and the funder's terms.
- Location
No separate location field is recorded. Check the program summary and the funder's terms.
- Funding
No separate funding field is recorded. Check the program summary and the funder's terms.
Funding classification
- Instrument
No separate instrument field is recorded. Check the program summary and the funder's terms.
- Capital form
No separate capital form field is recorded. Check the program summary and the funder's terms.
- Allocation method
No separate allocation method field is recorded. Check the program summary and the funder's terms.
- Selection
No separate selection field is recorded. Check the program summary and the funder's terms.
Round history
No rounds on file.
Past rounds stay on the page, so you can see how often this program opens.
Funding evidence
Detailed funding records are not yet recorded for this program.
Read the program’s recorded facts and sourcesSources
Awards
none linkedNo award records linked to this profile yet.