Automated Formalization via Conceptual Retrieval-Augmented LLMs

Re-assign community