Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions

Re-assign community