Large-scale pre-trained language models (PLMs) bring new opportunities to challenge problems, especially those that need high-level intelligence, such as the math word problem (MWPs). However, directly applying existing PLMs to MWPs can fail as the generation process lacks sufficient supervision and thus lacks fast adaptivity as humans. We notice that human reasoning has a dual reasoning framework that consists of an immediate reaction system (system 1) and a delicate reasoning system (system 2), where the entire reasoning is determined by their interaction. This inspires us to develop a cooperative reasoning-induced PLM for solving MWPs, called Cooperative Reasoning (CoRe), resulting in a human-like reasoning architecture with system 1 as ...
Reasoning over natural language is a long-standing goal for the research community. However, studies...
Human language offers a powerful window into our thoughts -- we tell stories, give explanations, and...
Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical mult...
Language models have achieved remarkable performance on a wide range of tasks that require natural l...
Math word problem (MWP) solving faces a dilemma in number representation learning. In order to avoid...
Math word problems (MWPs) is a task that automatically derives solution expression from a giving mat...
Using the achievements of my research group over the last 30+ years, I provide evidence to support t...
Using the achievements of my research group over the last 30+ years, I provide evidence to support t...
From the latter half of the last decade, there has been a growing interest in developing algorithms ...
The paper discusses the capacities and limitations of current artificial intelligence (AI) technolog...
Mathematical word problems (MWP) test critical aspects of reading comprehension in conjunction with ...
We demonstrate that a neural network pre-trained on text and fine-tuned on code solves mathematics c...
Mathematical word problems (MWP) test crit-ical aspects of reading comprehension in con-junction wit...
Formal mathematical reasoning is unique in its precision: any valid conclusion can be justified by a...
Through their transfer learning abilities, highly-parameterized large pre-trained language models ha...
Reasoning over natural language is a long-standing goal for the research community. However, studies...
Human language offers a powerful window into our thoughts -- we tell stories, give explanations, and...
Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical mult...
Language models have achieved remarkable performance on a wide range of tasks that require natural l...
Math word problem (MWP) solving faces a dilemma in number representation learning. In order to avoid...
Math word problems (MWPs) is a task that automatically derives solution expression from a giving mat...
Using the achievements of my research group over the last 30+ years, I provide evidence to support t...
Using the achievements of my research group over the last 30+ years, I provide evidence to support t...
From the latter half of the last decade, there has been a growing interest in developing algorithms ...
The paper discusses the capacities and limitations of current artificial intelligence (AI) technolog...
Mathematical word problems (MWP) test critical aspects of reading comprehension in conjunction with ...
We demonstrate that a neural network pre-trained on text and fine-tuned on code solves mathematics c...
Mathematical word problems (MWP) test crit-ical aspects of reading comprehension in con-junction wit...
Formal mathematical reasoning is unique in its precision: any valid conclusion can be justified by a...
Through their transfer learning abilities, highly-parameterized large pre-trained language models ha...
Reasoning over natural language is a long-standing goal for the research community. However, studies...
Human language offers a powerful window into our thoughts -- we tell stories, give explanations, and...
Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical mult...