THE PURPOSE OF THIS AGREEMENT IS TO FUND RESEARCH SUPPORTING THE DEFENSE ADVANCED RESEARCH PROJECTS AGENCY DARPA INFORMATION INNOVATION OFFICE I2O. THIS EFFORT SHALL BE CARRIED OUT GENERALLY AS SET FORTH IN EXHIBIT B, RESEARCH DESCRIPTION DOCUMENT, AND IN THE RECIPIENTS PROPOSAL TITLED, EPSULLM ENABLING FORMAL METHODS PROOF SYNTHESIS USING LARGE LANGUAGE MODELS, PROVIDED TO DARPA ON AUGUST 25, 2023, COPIES OF WHICH ARE IN THE POSSESSION OF BOTH PARTIES.