Oral Paper Presentation by Nina Narodytska
in
Workshop: MATH-AI: The 3rd Workshop on Mathematical Reasoning and AI
Lemur: Integrating Large Language Models in Automated Program Verification
Fri 15 Dec 11:15 a.m. PST
— 11:30 a.m. PST
Abstract:
Chat is not available.