| 2025 | ICALT | Assessing the Ability to Read and Interpret Mathematical Definitions: Insights from INSTm. | Teiko Arai, Naoya Todo, Koken Ozaki, Noriko H. Arai |
| 2023 | CogSci | Syntactic Processing Skills: Engine for Acquiring Knowledge. | Noriko H. Arai, Teiko Arai, Naoya Todo, Takuya Matsuzaki, Miwa Inuzuka, Shingo Sugawara, Koken Ozaki |
| 2020 | CogSci | Large-Scale Survey of Students' Skills in Reading Math Definitions. | Naoya Todo, Noriko H. Arai, Shingo Sugawara |
| 2017 | ACL | Semantic Parsing of Pre-university Math Problems. | Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2017 | CogSci | Reading Skill Test to Diagnose Basic Language Skills in Comparison to Machines. | Noriko H. Arai, Naoya Todo, Teiko Arai, Kyosuke Bunji, Shingo Sugawara, Miwa Inuzuka, Takuya Matsuzaki, Koken Ozaki |
| 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 |
| 2016 | CogSci | An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans. | Takuya Matsuzaki, Munehiro Kobayashi, Noriko H. Arai |
| 2016 | LREC | Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests. | Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai |
| 2015 | ACL | Evaluating Machine Translation Systems with Second Language Proficiency Tests. | Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai |
| 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 | CogSci | Cognitive Model of Generic Skill: Cognitive Processes in Search and Editing. | Akira Fujita, Masayuki Suzuki, Noriko H. Arai |
| 2014 | ICCE | The impact of A.I. on education - Can a robot get into The University of Tokyo? | Noriko H. Arai, Takuya Matsuzaki |
| 2014 | ISSAC | Mathematics by machine. | Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai |
| 2013 | IJCNLP | The Complexity of Math Problems - Linguistic, or Computational? | Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai |
| 2001 | STOC | The complexity of analytic tableaux. | Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart |
| 2000 | TABLEAUX | Local Symmetries in Propositional Logic. | Noriko H. Arai, Alasdair Urquhart |