Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
Overview
What you need to judge this in 30 seconds
The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowl
- Category
- R&D
- Industry
- AI & Data, Other
- Technology
- AI / ML
- Target stage
- Needs verification
- Project duration
- Needs verification
- Estimated preparation
- Needs verification
Funding
Award size and how it is paid
- Award range
- up to $1.2M
- Currency
- USD
- Total programme budget
- $6M
- Support type
- Cash
- Co-funding
- None (fully funded)
- Matching fund
- Needs verification
- Disbursement
- Needs verification
- Note
- -
Eligibility
Can we actually apply?
*Who May Submit Proposals: Proposals may only be submitted by the following: -null -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or research activities. -Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members. *Who May Serve as PI: As of the date the proposal is submitted, any PI, co-PI, or senior/key personnel must hold either: · a tenured or tenure-track position, or · a primary, full-time, paid appointment in a research or teaching position at a US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.
- Company age
- Needs verification
- Employees
- Needs verification
- Revenue limits
- Needs verification
- Consortium
- Needs verification
Location Requirements
Geography and legal-entity conditions
- Primary country
- 🇺🇸 United States
- Also eligible
- None
- Foreign companies
- Needs verification
- Local entity
- Required
- Location condition
- A US federal programme: the applicant must be an eligible entity based in the United States.
Required Documents
Required/optional · issuer · difficulty · validity · cautions
Document requirements were not captured (needs verification). Check the official announcement.
Application Process
How you apply
Application process not captured.
Evaluation
Review process and criteria
Evaluation process not captured.
Timeline
Announcement → intake → review → agreement → execution
Process steps were not captured.
Equity & Financial Terms
Equity, loans and contract conditions
- Equity required
- Needs verification
- Loan
- Non-dilutive grant
- Duplicate funding
- Needs verification
- IP ownership
- Needs verification
- Deliverable ownership
- Needs verification
- Exclusivity
- Needs verification
- Right of first refusal
- Needs verification
- Audit & settlement
- Needs verification
- Bayh-Dole government licence
US federal R&D funding commonly carries a government licence clause.
Source: Standard across grants.gov federal programmes — check the individual announcement.
Risk Intelligence
Should we apply at all? — five dimensions plus an overall score (lower is safer)
No risk assessment yet. Re-analyse from Admin.
IP / Idea Protection
How much of your technology and idea you must disclose
No IP assessment yet.
AI Analysis
Pros · cons · difficulty · competition · attractiveness
From paperwork and review stages
Heuristic from award size and type
Amount, terms and IP combined
Weighted average of five dimensions
- Needs verification
- Needs verification
- Nothing flagged
Similar Programs
Comparable by type, country and technology
- Unlocking Dataset Value for AI-Enabled Scientific Discovery (AI Datasets)
🇺🇸 United States · Grant · U.S. National Science Foundation
Needs verificationD-21 - The Genesis Mission: Transforming Science and Energy with AI
🇺🇸 United States · Grant · Office of Science
$500K ~ $16MD-64 - Tribal Colleges and Universities Program (TCUP)
🇺🇸 United States · Grant · U.S. National Science Foundation
$100K ~ $3.5MD-DAY - Topology
🇺🇸 United States · Grant · U.S. National Science Foundation
Needs verificationD-20 - NSF Small Business Innovation Research / Small Business Technology Transfer Phase I, Phase II, Fast-Track Programs: A Pilot Emphasis on Scientific Instrumentation
🇺🇸 United States · Grant · U.S. National Science Foundation
up to $2MD-21
Source & Provenance
Every value carries its source URL and fetch time
- Application URL
- https://www.grants.gov/search-results-detail/364068
- Last fetched
- 2026.10.14
- Human review
- Not reviewed — check the official announcement
- First seen
- 2026.10.14
- Data status
- Needs review
- AI enrichment
- Needs verification
- PRIMARYGrants.gov 24-554
Fetched 3h ago
- OFFICIAL_APIGrants.gov Search2 API
Fetched 3h ago
- · 3h ago — 최초 수집 (5235a8ff)