Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2410.04194
Cited By
Consistent Autoformalization for Constructing Mathematical Libraries
5 October 2024
Lan Zhang
Xin Quan
André Freitas
AI4CE
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Consistent Autoformalization for Constructing Mathematical Libraries"
1 / 1 papers shown
Title
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions
Lan Zhang
Marco Valentino
André Freitas
41
0
0
17 Feb 2025
1
