MATHEMATICS IS THE SOURCE OF SIGNIFICANT TECHNOLOGICAL ADVANCES; HOWEVER, PROGRESS IN MATH IS SLOW. Recent advances in artificial intelligence (AI) suggest the possibility of increasing the rate of...more
This Broad Agency Announcement (BAA) seeks revolutionary research ideas for topics not being addressed by ongoing I2O programs or other published solicitations. Potential proposers are highly...more
Machine Learning and Optimization-Guided Compilers for Heterogeneous Architectures (MOCHA) seeks to build a new generation of compiler technology to realize the full potential performance of...more
The goal of AIQ is to assess and understand capabilities without access to internals, a goal which will be expedited by having access to the internals of open-sourced models, given the architectural...more
The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative and revolutionary computational approaches that measure the feasibility of technical claims to enable accurate...more
This Broad Agency Announcement (BAA) seeks revolutionary research ideas for topics not being addressed by ongoing I2O programs or other published solicitations. Potential proposers are highly...more
The ICS program develops computational science to build tactical mixed reality systems that protect against cognitive attack. The core technical hypothesis of the program is that formal methods can...more
The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative research proposals in the area of proof engineering, to include proof development, maintenance, deployment, and...more
This Broad Agency Announcement (BAA) seeks revolutionary research ideas for topics not being addressed by ongoing I2O programs or other published solicitations. Potential proposers are highly...more
In the world of social enterprises, failure is a cringe-worthy moment nobody wants to talk about. But, social entrepreneurs can benefit from their failures.