NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Consistent Autoformalization for Constructing Mathematical Libraries
Lan Zhang
|
Xin Quan
|
Andre Freitas
|
Paper Details:
Month: November
Year: 2024
Location: Miami, Florida, USA
Venue:
EMNLP |
Citations
URL
No Citations Yet
https://github.com/SKolodynski/IsarMathLib
https://github.com/inpefess/isabelle-client
Field Of Study