NeurIPS Lemur: Integrating Large Language Models in Automated Program Verification

Skip to yearly menu bar Skip to main content

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

2023 Oral Paper Presentation by Nina Narodytska
in
Workshop: MATH-AI: The 3rd Workshop on Mathematical Reasoning and AI

Abstract:

Chat is not available.