Showing cs.CLShow all
2 papers · 1 filter
cs.CL2025
FMC: Formalization of Natural Language Mathematical Competition Problems
Jiaxuan Xie, Chengwu Liu, Ye Yuan +3
Efficient and accurate autoformalization methods, which leverage large-scale datasets of extensive natural language mathematical problems to construct formal language datasets, are…
cs.CL2024
A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning
Ye Yuan, Chengwu Liu, Jingyang Yuan +3
Retrieval-augmented generation (RAG) is a framework enabling large language models (LLMs) to enhance their accuracy and reduce hallucinations by integrating external knowledge base…