A top innovation official at the Defense Advanced Research Projects Agency said today that a winning system for DARPA's Artificial Intelligence Cyber Challenge will leverage the statistics in cutting-edge large language models, while also using traditional "cyber reasoning systems that are more symbolic."