Enterprise artificial intelligence (AI) provider C3.ai and Raytheon Technologies [RTX] have formed an alliance aimed at developing AI solutions for government defense customers.

“The military and intelligence community have access to more data now than any time in history, but it’s more than they’re able to make quick use of,” David Appel, vice president of Defense & Civile Solutions at Space & C2 Systems for Raytheon Technologies’ Intelligence and Space segment, said in a statement. “Artificial intelligence can be used to help them make sense of that data, which will allow them to make smarter decisions faster on the battlefield.”

The companies mentioned the Air Force and intelligence community as specific targets of their partnership.

“Raytheon and C3.ai represent key partners for the U.S. Air Force, and specifically the Rapid Sustainment Office, in realizing the vision of harnessing AI to transform the military into a digital organization,” Nathan Parker, deputy program executive officer for the Air Force Rapid Sustainment Office, said in a statement. “Fulfilling this vision of broad implementation requires identifying applicable use cases for AI across the Air Force, rapidly piloting solutions, and scaling successes across our enterprise to accelerate the transformation.”

Separately, C3.ai, which is based in California, said on Monday that it has filed for a proposed initial public offering of 15.5 million shares that will be priced between $31 and $34 per share. The company’s stock has been approved for listing under the stock ticker symbol “AI” on the New York Stock Exchange.

C3.ai has a diverse set of customers, including the Air Force. The company is providing its C3 AI Readiness software to the Air Force to predict when subsystems will fail on the service’s various aircraft platforms so that it can proactively improve mission readiness.