Emerging materials intelligence ecosystems propelled by machine learning

R Batra, L Song, R Ramprasad - Nature Reviews Materials, 2021 - nature.com
The age of cognitive computing and artificial intelligence (AI) is just dawning. Inspired by its
successes and promises, several AI ecosystems are blossoming, many of them within the …

A survey of deep learning for mathematical reasoning

P Lu, L Qiu, W Yu, S Welleck, KW Chang - arxiv preprint arxiv:2212.10535, 2022 - arxiv.org
Mathematical reasoning is a fundamental aspect of human intelligence and is applicable in
various fields, including science, engineering, finance, and everyday life. The development …

Learn to explain: Multimodal reasoning via thought chains for science question answering

P Lu, S Mishra, T **a, L Qiu… - Advances in …, 2022 - proceedings.neurips.cc
When answering a question, humans utilize the information available across different
modalities to synthesize a consistent and complete chain of thought (CoT). This process is …

Iconqa: A new benchmark for abstract diagram understanding and visual language reasoning

P Lu, L Qiu, J Chen, T **a, Y Zhao, W Zhang… - arxiv preprint arxiv …, 2021 - arxiv.org
Current visual question answering (VQA) tasks mainly consider answering human-
annotated questions for natural images. However, aside from natural images, abstract …

Large language models for mathematical reasoning: Progresses and challenges

J Ahn, R Verma, R Lou, D Liu, R Zhang… - arxiv preprint arxiv …, 2024 - arxiv.org
Mathematical reasoning serves as a cornerstone for assessing the fundamental cognitive
capabilities of human intelligence. In recent times, there has been a notable surge in the …

Inter-GPS: Interpretable geometry problem solving with formal language and symbolic reasoning

P Lu, R Gong, S Jiang, L Qiu, S Huang, X Liang… - arxiv preprint arxiv …, 2021 - arxiv.org
Geometry problem solving has attracted much attention in the NLP community recently. The
task is challenging as it requires abstract problem understanding and symbolic reasoning …

The gap of semantic parsing: A survey on automatic math word problem solvers

D Zhang, L Wang, L Zhang, BT Dai… - IEEE transactions on …, 2019 - ieeexplore.ieee.org
Solving mathematical word problems (MWPs) automatically is challenging, primarily due to
the semantic gap between human-readable words and machine-understandable logics …

A causal framework to quantify the robustness of mathematical reasoning with language models

A Stolfo, Z **, K Shridhar, B Schölkopf… - arxiv preprint arxiv …, 2022 - arxiv.org
We have recently witnessed a number of impressive results on hard mathematical reasoning
problems with language models. At the same time, the robustness of these models has also …

Unigeo: Unifying geometry logical reasoning via reformulating mathematical expression

J Chen, T Li, J Qin, P Lu, L Lin, C Chen… - arxiv preprint arxiv …, 2022 - arxiv.org
Geometry problem solving is a well-recognized testbed for evaluating the high-level multi-
modal reasoning capability of deep models. In most existing works, two main geometry …

A survey of reasoning with foundation models

J Sun, C Zheng, E **e, Z Liu, R Chu, J Qiu, J Xu… - arxiv preprint arxiv …, 2023 - arxiv.org
Reasoning, a crucial ability for complex problem-solving, plays a pivotal role in various real-
world settings such as negotiation, medical diagnosis, and criminal investigation. It serves …