[September 4, 2024] We release the third version of the paper, adding more recent papers. Check it out on arXiv and OSS! [August 1, 2024] We will share the tutorial of this paper at CCL 2024 and CIPS ...

Abstract: Fine-tuning large language models (LLMs) for domain specific tasks is often an expensive resource intensive procedure requiring large computing and memory ...

Abstract: Solving math word problems (MWP) is a crucial task in natural language processing, with methodologies having evolved from traditional rule-based approaches to deep learning and large ...

Over the past couple of months, several researchers have begun making the same provocative claim: They used generative-AI tools to solve a previously unanswered math problem. The most extreme promises ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right? When you purchase ...