Closed yinghy18 closed 3 months ago
Hi, I believe this list is most helpful to us. Also it seems that out work is related to Autoformalization.
Our work for NIPS 2024 Dataset Track: Lean Workbook: A large-scale Lean problem set formalized from natural language math problems https://arxiv.org/abs/2406.03847 With its dataset available: https://huggingface.co/datasets/internlm/Lean-Workbook
Would you mind adding this to the references? Thank you.
Hi,
Thanks for sharing your work. I've added your paper to the Autoformalization section.
Hi, I believe this list is most helpful to us. Also it seems that out work is related to Autoformalization.
Our work for NIPS 2024 Dataset Track: Lean Workbook: A large-scale Lean problem set formalized from natural language math problems https://arxiv.org/abs/2406.03847 With its dataset available: https://huggingface.co/datasets/internlm/Lean-Workbook
Would you mind adding this to the references? Thank you.