ResearchBenchmarksFeasible Certification on DroneFeasible Certification on DroneFollow8Certifications PassedPHACT7.67.888.2Jun 29, 2026Evaluation resultsMethodMethodLinksCertifications PassedLoop FailuresWrong VerdictsTimeoutsPHACTModel=Gemini 2.5 Flash...Model=Gemini 2.5 Flash, Temperature=02026.068002