| 2020 | CogSci | Appraising Science Textbooks through Quantitative Text Analysis and Psychometric Results of Students' Reading Skills. | Teiko Arai, Takuya Matsuzaki, Hidenao Iwane |
| 2017 | ACL | Semantic Parsing of Pre-university Math Problems. | Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2017 | ISSAC | Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. | Hidenao Iwane, Hirokazu Anai |
| 2016 | CADE | Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. | Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai |
| 2015 | ISSAC | Real Quantifier Elimination by Computation of Comprehensive Grbner Systems. | Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato |
| 2014 | AAAI | The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. | Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2014 | ISSAC | Mathematics by machine. | Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai |
| 2013 | CASC | An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. | Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai |
| 2013 | IJCNLP | The Complexity of Math Problems - Linguistic, or Computational? | Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2011 | CASC | Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. | Hidenao Iwane, Akifumi Kira, Hirokazu Anai |