Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowJheng-Han LaiNational Taiwan UniversityPresentationsWork in ProgressSpec2Plan: A Robust LLM-Powered Framework for Verification Plan Generation and Evaluation6:40pm - 6:41pm PDT Monday, July 27 Exhibit Hall
