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
The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative proposals in the following areas of interest: Human Language Technology, computer vision, artificial intelligence,...more
The overarching goal of the ANSR program is to advance hybrid AI algorithms, and develop evidence-based techniques that support confident assurance judgments for these algorithms. The program intends...more
The Republic of Rwanda has been picked as one of the six African countries as beneficiaries for a new fellowship fund program designed at supporting social entrepreneurs in tackling issues on food security.