A2_Abstract_Summary_Slide_Instructions_and_Template.pptx
PPTX presentation 454 KB Posted
- Attached to
- Exponentiating Mathematics (expMath)
- Solicitation number
- HR001125S0010
About this file
The file is an Abstract Summary Slide Template and Instructions for the Exponentiating Mathematics (expMath) Broad Agency Announcement (BAA) solicitation HR001125S0010 issued by the Defense Advanced Research Projects Agency (DARPA). The template provides specific formatting requirements for abstract submissions, mandating a Microsoft PowerPoint slide with detailed content guidelines. Key submission requirements include English language text, 8-1/2 by 11-inch paper formatting, 1-inch margins, minimum 12-point font, and a file naming convention of "Organization_Abstract Summary Slide".
The abstract slide must comprehensively address four critical areas: context, concept, approach, and impact related to developing AI capabilities for mathematical research. The solicitation seeks teams to develop AI technologies that can accelerate mathematical progress by automating problem decomposition and proof formalization. Specific technical objectives include creating an AI "co-author" capable of proposing and proving mathematical abstractions, with a focus on auto-decomposition and auto(in)formalization techniques. The ultimate goal is to fundamentally transform mathematical research practices by addressing current limitations in mathematical theorem development and proof generation through advanced AI technologies.
View the file
Other files
Show all 24
On GovTribe
Work with this file
- Download the original file
- Contacts named in this file
- Similar government files
- Ask GovTribe AI about this file
Text version
Distribution Statement Use of this template is required for all abstract submissions to this BAA. Abstracts must include all information in the A2 Abstract Summary Slide Template and the A1 Abstract Instructions and Submission Template to constitute a full abstract submission.
Abstracts not meeting the format prescribed herein may not be reviewed.
The Abstract Summary Slide Template must include all components and must be submitted in Microsoft PowerPoint format under the file naming convention “Organization_Abstract Summary Slide”.
All submissions must be written in English, and all pages shall be formatted for printing on 8-1/2 by 11-inch paper with 1-inch margins and font size no smaller than 12-point. Font sizes of 8 or 10-point may be used for figures, tables, and charts.
[Content requirements on the Abstract Summary Slide Template are stated in blue font and should be deleted prior to abstract submission. The Abstract Summary Slide Instructions should be deleted prior to abstract submission.]
A2 Abstract Summary Slide Instructions and Template
Abstract Title Organization Name(s); Technical POC Name(s) [Provide graphic.] [Describe need and problem being addressed.
Describe goal.]
[Describe the basis of the technical approach; stating key innovative aspects of the approach.] [Describe the unique demonstrated expertise and experience the team brings to the program] HR001125S0010 expMath
Source Selection Information – see FAR 2.101 & 3.104
CONCEPT
IMPACT
CONTEXT
APPROACH
image4.png image5.png
File details come from the government source that posted it. Updated .