Program with the defense department is first under the startup’s initiative to put AI to work in governments