Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams

Playing atari with deep reinforcement learning

Original

Mnih, V.; Kavukcuoglu, K.; Silver, D.; Graves, A.; Antonoglou, I.; Wierstra, D.; and Riedmiller, M. 2013 · 2013

Earlier work this paper cites.

Diagram understanding in geometry questions

Seo, M.; et al. 2014 · 2014

Earlier work this paper cites.

Solving geometry problems: Combining text and diagram interpretation

Seo, M.; et al. 2015 · 2015

Earlier work this paper cites.

Introducing VF3: A new algorithm for subgraph isomorphism

Carletti, V.; Foggia, P.; Saggese, A.; and Vento, M. 2017 · 2017

Earlier work this paper cites.

Film: Visual reasoning with a general conditioning layer

Perez, E.; Strub, F.; De Vries, H.; Dumoulin, V.; and Courville, A. 2018 · 2018

Earlier work this paper cites.

BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Devlin, J.; Chang, M.-W.; Lee, K.; and Toutanova, K. 2019 · 2019

Earlier work this paper cites.

Graph transformer networks

Yun, S.; Jeong, M.; Kim, R.; Kang, J.; and Kim, H. J. 2019 · 2019

Earlier work this paper cites.

Comparing performance of graph matching algorithms on huge graphs

Carletti, V.; Foggia, P.; Greco, A.; Saggese, A.; and Vento, M. 2020 · 2020

Earlier work this paper cites.

BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehension

Lewis, M.; Liu, Y.; Goyal, N.; Ghazvininejad, M.; Mohamed, A.; Levy, O.; Stoyanov, V.; and Zettlemoyer, L. 2020 · 2020

Earlier work this paper cites.

GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning

Chen, J.; et al. 2021 · 2021

Cited alongside, same era.

Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Lu, P.; Gong, R.; Jiang, S.; Qiu, L.; Huang, S.; Liang, X.; and Zhu, S.-c. 2021 · 2021

Cited alongside, same era.

A Paradigm of Diagram Understanding in Problem Solving

Xia, J.; and Yu, X. 2021 · 2021

Cited alongside, same era.

UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression

Chen, J.; et al. 2022 · 2022

Cited alongside, same era.

A Novel Geometry Problem Understanding Method based on Uniform Vectorized Syntax-Semantics Model

Huang, L.; et al. 2022 · 2022

Cited alongside, same era.

Plane Geometry Diagram Parsing

Zhang, M.; Yin, F.; Hao, Y.; and Liu, C. 2022 · 2022

Unimath: A foundational and multimodal mathematical reasoner

Liang, Z.; Yang, T.; Zhang, J.; and Zhang, X. 2023 · 2023

Later among the works it cites.

Mathvista: Evaluating mathematical reasoning of foundation models in visual contexts

Original

Lu, P.; Bansal, H.; Xia, T.; Liu, J.; Li, C.; Hajishirzi, H.; Cheng, H.; Chang, K.-W.; Galley, M.; and Gao, J. 2023 · 2023

Later among the works it cites.

A symbolic characters aware model for solving geometry problems

Ning, M.; Wang, Q.-F.; Huang, K.; and Huang, X. 2023 · 2023

Later among the works it cites.

Geodrl: A self-learning framework for geometry problem solving using reinforcement learning in deductive reasoning

Peng, S.; Fu, D.; Liang, Y.; Gao, L.; and Tang, Z. 2023 · 2023

Later among the works it cites.

Large language models for mathematical reasoning: Progresses and challenges

Original

Ahn, J.; Verma, R.; Lou, R.; Liu, D.; Zhang, R.; and Yin, W. 2024 · 2024