Fetching the paper…
Reading the bibliography…
Geometry problem solving has attracted much attention in the NLP community recently.
Basic principles of mechanical theorem proving in elementary geometries
Wu Wen-Tsun. 1986 · 1986
Earlier work this paper cites.
Automated generation of readable proofs with geometric invariants
Shang-Ching Chou, Xiao-Shan Gao, and Jing-Zhong Zhang. 1996 · 1996
Earlier work this paper cites.
Schemas and mental models in geometry problem solving
Mohan Chinnappan. 1998 · 1998
Earlier work this paper cites.
Computer vision
Linda G Shapiro and George C Stockman. 2001 · 2001
Earlier work this paper cites.
Bottom-up/top-down image parsing by attribute graph grammar
Feng Han and Song-Chun Zhu. 2005 · 2005
Earlier work this paper cites.
A stochastic grammar of images
Song-Chun Zhu and David Mumford. 2006 · 2006
Earlier work this paper cites.
Simple semi-supervised dependency parsing
Terry Koo, Xavier Carreras, and Michael Collins. 2008 · 2008
Earlier work this paper cites.
Synthesis of geometry proof problems
Chris Alvin, Sumit Gulwani, Rupak Majumdar, and Supratik Mukhopadhyay. 2014 · 2014
Earlier work this paper cites.
Tailoring continuous word representations for dependency parsing
Mohit Bansal, Kevin Gimpel, and Karen Livescu. 2014 · 2014
Earlier work this paper cites.
On the properties of neural machine translation: Encoder-decoder approaches
Kyunghyun Cho, Bart van Merrienboer, Dzmitry Bahdanau, and Yoshua Bengio. 2014 · 2014
Earlier work this paper cites.
Diagram understanding in geometry questions
Min Joon Seo, Hannaneh Hajishirzi, Ali Farhadi, and Oren Etzioni. 2014 · 2014
Earlier work this paper cites.
Sequence to sequence learning with neural networks
Ilya Sutskever, Oriol Vinyals, and Quoc V Le. 2014 · 2014
Earlier work this paper cites.
Joint video and text parsing for understanding events and answering queries
Kewei Tu, Meng Meng, Mun Wai Lee, Tae Eun Choe, and Song-Chun Zhu. 2014 · 2014
Earlier work this paper cites.
Solving geometry problems: Combining text and diagram interpretation
Minjoon Seo, Hannaneh Hajishirzi, Ali Farhadi, Oren Etzioni, and Clint Malcolm. 2015 · 2015
Earlier work this paper cites.
Deep residual learning for image recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2016 · 2016
Cited alongside, same era.
Synthesis of solutions for shaded area geometry problems
Chris Alvin, Sumit Gulwani, Rupak Majumdar, and Supratik Mukhopadhyay. 2017 · 2017
Cited alongside, same era.
Relnet: End-to-end modeling of entities & relations
Trapit Bansal, Arvind Neelakantan, and Andrew McCallum. 2017 · 2017
Cited alongside, same era.
Learning fine-grained expressions to solve math word problems
Danqing Huang, Shuming Shi, Chin-Yew Lin, and Jian Yin. 2017 · 2017
Cited alongside, same era.
Focal loss for dense object detection
Tsung-Yi Lin, Priya Goyal, Ross Girshick, Kaiming He, and Piotr Dollár. 2017 · 2017
Cited alongside, same era.
Automatic understanding and formalization of natural language geometry problems using syntax-semantics models
Wenbin Gan and Xinguo Yu. 2018 · 2018
Later among the works it cites.
Film: Visual reasoning with a general conditioning layer
Ethan Perez, Florian Strub, Harm De Vries, Vincent Dumoulin, and Aaron Courville. 2018 · 2018
Later among the works it cites.
Mapping to declarative knowledge for word problem solving
Subhro Roy and Dan Roth. 2018 · 2018
Later among the works it cites.
Translating a math word problem to an expression tree
Lei Wang, Yan Wang, Deng Cai, Dongxiang Zhang, and Xiaojiang Liu. 2018 · 2018
Later among the works it cites.
Mathqa: Towards interpretable math word problem solving with operation-based formalisms
Aida Amini, Saadia Gabriel, Peter Lin, Rik Koncel-Kedziorski, Yejin Choi, and Hannaneh Hajishirzi. 2019 · 2019
Later among the works it cites.
Automatically proving plane geometry theorems stated by text and diagram
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Sarah Loos, Geoffrey Irving, Christian Szegedy, and Cezary Kaliszyk. 2017 · 2017
Cited alongside, same era.
Semantic parsing of pre-university math problems
Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, and Noriko H Arai. 2017 · 2017
Cited alongside, same era.
Geometry skill analysis in problem solving reviewed from the difference of cognitive style students junior high school
Andi Saparuddin Nur and Evy Nurvitasari. 2017 · 2017
Cited alongside, same era.
From textbooks to knowledge: A case study in harvesting axiomatic knowledge from textbooks to solve geometry problems
Mrinmaya Sachan, Kumar Dubey, and Eric Xing. 2017 · 2017
Cited alongside, same era.
Learning to solve geometry problems from natural language demonstrations in textbooks
Mrinmaya Sachan and Eric Xing. 2017 · 2017
Cited alongside, same era.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin. 2017 · 2017
Cited alongside, same era.
Learning to solve smt formulas
Mislav Balunovic, Pavol Bielik, and Martin T Vechev. 2018 · 2018
Cited alongside, same era.
Wenbin Gan, Xinguo Yu, Ting Zhang, and Mingshu Wang. 2019 · 2019
Later among the works it cites.
Semeval-2019 task 10: Math question answering
Mark Hopkins, Ronan Le Bras, Cristian Petrescu-Prahova, Gabriel Stanovsky, Hannaneh Hajishirzi, and Rik Koncel-Kedziorski. 2019 · 2019
Later among the works it cites.
Template-based math word problem solvers with recursive neural networks
Lei Wang, Dongxiang Zhang, Jipeng Zhang, Xing Xu, Lianli Gao, Bing Tian Dai, and Heng Tao Shen. 2019 · 2019
Later among the works it cites.
A framework for solving explicit arithmetic word problems and proving plane geometry theorems
Xinguo Yu, Mingshu Wang, Wenbin Gan, Bin He, and Nan Ye. 2019 · 2019
Later among the works it cites.
Bart: Denoising sequence-to-sequence pre-training for natural language generation, translation, and comprehension
Mike Lewis, Yinhan Liu, Naman Goyal, Marjan Ghazvininejad, Abdelrahman Mohamed, Omer Levy, Veselin Stoyanov, and Luke Zettlemoyer. 2020 · 2020
Later among the works it cites.
Semantically-aligned universal tree-structured solver for math word problems
Jinghui Qin, Lihui Lin, Xiaodan Liang, Rumin Zhang, and Liang Lin. 2020 · 2020
Later among the works it cites.
Discourse in multimedia: A case study in extracting geometry knowledge from textbooks
Mrinmaya Sachan, Avinava Dubey, Eduard H Hovy, Tom M Mitchell, Dan Roth, and Eric P Xing. 2020 · 2020
Later among the works it cites.
Learning by fixing: Solving math word problems with weak supervision
Yining Hong, Qing Li, Daniel Ciao, Siyuan Huang, and Song-Chun Zhu. 2021 · 2021
Closest in time.