Understanding artificial intelligence spending by the U.S. federal government