Definitive Contract to Galois, Inc. by Department of the Air Force: $3.3M obligated, latest action 2021-05-04. Leveraging Symbolic Representations for…