1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
Page shows deadline of April 17, 2026 at 4:00 PM ET; stored deadline is April 10, 2026 — mismatch of 7 days.
"Compositional Learning-And-Reasoning for AI Complex Systems Engineering (CLARA)" is currently closed and not accepting applications.
Compositional Learning-And-Reasoning for AI Complex Systems Engineering (CLARA) is sponsored by Defense Advanced Research Projects Agency (DARPA). The CLARA program aims to tightly integrate automated reasoning (AR) and machine learning (ML) components to create high-assurance AI that scales to complex systems.
This fundamental research program is anticipated to create powerful methods for the hierarchical, fine-grained, and transparent composition of ML and AR components, providing the speed and flexibility of ML with the verifiability of AR proofs. This is highly relevant to automated reasoning, theorem proving, SAT, and SMT solvers as they are key components in achieving verifiability and strong logical explainability in AI systems.
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
CLARA: Compositional Learning-And-Reasoning for AI Complex Systems Engineering | DARPA Department of War organization.
CLARA: Compositional Learning-And-Reasoning For AI Complex Systems Engineering CLARA: Compositional Learning-And-Reasoning for AI Complex Systems Engineering Today, the dominant industry approach to artificial intelligence (AI) is to tack specialized automated reasoning (AR) components onto a large language model (LLM) or other similar machine learning (ML) system.
These ML-centric systems typically have weak assurance; the “tack-on” approach is an importantly limited way of providing assurance or safeguards. The Compositional Learning-And-Reasoning for AI Complex Systems Engineering (CLARA) fundamental research program is designed to tightly integrate AR and ML components to create high-assurance AI — which is expected to scale even to complex systems of systems.
Integrating the two different branches of AI will provide the speed and flexibility of ML with verifiability based on AR proofs that have strong logical explainability and computational tractability. In more detail, CLARA is anticipated to create powerful methods for the hierarchical, fine-grained, highly transparent composition of important kinds of ML and AR components, including Bayesian, neural nets, and logic programs.
CLARA aims to create a theory-driven algorithmic, highly reusable, scalable foundation for high assurance plus broad applicability, useful for many crucial defense and commercial realms which may include, but is not limited to: Kill web, supply chain & logistics, and wargaming Autonomous and command & control Medical, financial, and legal Information session presentation
According to the current listing, eligibility includes: Researchers and organizations engaged in high-risk, high-reward R&D. (Implied, as it is a DARPA fundamental research program). Confirm the full requirements in the official notice before applying.
The published deadline was April 10, 2026, which has passed. Check the official notice for any future application windows before investing time in a proposal.
Compositional Learning-And-Reasoning for AI Complex Systems Engineering (CLARA) is funded by Defense Advanced Research Projects Agency (DARPA). Verify program details on the funder's official page before applying.
Yes — this listing is flagged as national in scope, so applicants across the U.S. may apply, subject to the sponsor's other eligibility criteria.
Applications go through the funder's official portal — the Apply Now link on this page goes there directly.
Past winners and funding trends for this program
DPA26BZ06-DV023 is a Direct-to-Phase-II SBIR paying $700,000 over 18 months plus a $500,000 option. The physics demands 256x more transmit power than the systems that qualify you to compete, and DARPA will not accept modeling alone as proof. Here is the eligibility wall, the five engineering problems, and who can realistically win it before the October 21 close.
Read articleRelease 6's SBIR topics got the attention. Its three STTR topics — SHIELDER, fuel-flexible electric propulsion, and hypersonic wind tunnel noise diagnostics — are all Direct-to-Phase-II, all require a research institution to perform at least 30 percent of the work, and all close October 21, 2026. The feasibility gates are the real filter.
Read articleDPA26BZ06-DV026 offers $300,000 at Phase I or $1,800,000 as a single Direct-to-Phase-II tranche with no options. The deliverable is a simulated auction market that measures whether AI agents deceive, collude, or manipulate the humans they serve — measured entirely from the outside. Here is the 90% efficiency gate, the team composition most bidders will get wrong, and why this topic sits in DARPA's biology office.
Read article