Noriko H. Arai

33 papers A* 2A 1B 10C 1Journal 8Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Assessing the Ability to Read and Interpret Mathematical Definitions: Insights from INSTm. ICALT Teiko Arai, Naoya Todo, Koken Ozaki, Noriko H. Arai
2023	—	`conf`	Designing Researchmap: A Revolutionary Scholar Support Platform Achieved Through Human-AI Collaboration. ICKII Noriko H. Arai, Ryuji Masukawa, Hiroshi Miyashita
2023	B	`conf`	Syntactic Processing Skills: Engine for Acquiring Knowledge. CogSci Noriko H. Arai, Teiko Arai, Naoya Todo, Takuya Matsuzaki, Miwa Inuzuka, Shingo Sugawara, Koken Ozaki
2020	B	`conf`	Large-Scale Survey of Students' Skills in Reading Math Definitions. CogSci Naoya Todo, Noriko H. Arai, Shingo Sugawara
2018	J	`jnl`	Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
2017	B	`conf`	Reading Skill Test to Diagnose Basic Language Skills in Comparison to Machines. CogSci Noriko H. Arai, Naoya Todo, Teiko Arai, Kyosuke Bunji, Shingo Sugawara, Miwa Inuzuka, Takuya Matsuzaki, Koken Ozaki
2017	—	`conf`	Semantic Parsing of Pre-university Math Problems. ACL (1) Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
2016	—	`conf`	An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. ICMS Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
2016	B	`conf`	An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans. CogSci Takuya Matsuzaki, Munehiro Kobayashi, Noriko H. Arai
2016	—	`conf`	Development of a Reading Skill Test to Measure Basic Language Skills. T4E Akira Fujita, Naoya Todo, Shingo Sugawara, Kyo Kageura, Noriko H. Arai
2016	A	`conf`	Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. IJCAR Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
2016	B	`conf`	Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests. LREC Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai
2015	—	`conf`	Evaluating Machine Translation Systems with Second Language Proficiency Tests. ACL (2) Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai
2014	B	`conf`	Cognitive Model of Generic Skill: Cognitive Processes in Search and Editing. CogSci Akira Fujita, Masayuki Suzuki, Noriko H. Arai
2014	B	`conf`	Mathematics by machine. ISSAC Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai
2014	A*	`conf`	The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. AAAI Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
2014	C	`conf`	The impact of A.I. on education - Can a robot get into The University of Tokyo? ICCE Noriko H. Arai, Takuya Matsuzaki
2013	B	`conf`	The Complexity of Math Problems - Linguistic, or Computational? IJCNLP Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
2013	—	`conf`	World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts. JSAI-isAI Workshops Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono, Noriko H. Arai
2008	—	`conf`	Evaluation of Logical Thinking Ability through Contributions in a Learning Community. LKR Kayo Kawamoto, Noriko H. Arai
2006	J	`jnl`	The complexity of analytic tableaux. J. Symb. Log. Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart
2005	—	`conf`	Creating a Virtual Space for Child-Rearing with IT Beginners. IMSA Noriko H. Arai, Chimako Hiratsuka
2005	—	`conf`	Designing Collaborative Learning Environment for Advanced Math. IMSA Noriko H. Arai, Kayo Kawamoto
2005	J	`jnl`	TelMeA - Expressive avatars in asynchronous communications. Int. J. Hum. Comput. Stud. Toru Takahashi, Christoph Bartneck, Yasuhiro Katagiri, Noriko H. Arai
2004	—	`conf`	CSCL Environment for Bilingual Deaf Education. CATE Noriko H. Arai, Toru Takahashi, Yasuhiro Katagiri
2004	—	`conf`	Social Summarization for Semantic Society. JSAI Workshops Yasuhiro Katagiri, Toru Takahashi, Noriko H. Arai
2001	A*	`conf`	The complexity of analytic tableaux. STOC Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart
2000	B	`conf`	Local Symmetries in Propositional Logic. TABLEAUX Noriko H. Arai, Alasdair Urquhart
2000	J	`jnl`	No feasible monotone interpolation for simple combinatorial reasoning. Theor. Comput. Sci. Noriko H. Arai
2000	J	`jnl`	Relative efficency of propositional proof systems: resolution vs. cut-free LK. Ann. Pure Appl. Log. Noriko H. Arai
2000	J	`jnl`	Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II. Theor. Comput. Sci. Noriko H. Arai
1996	J	`jnl`	A Proper Hierarchy of Propositional Sequent Calculi. Theor. Comput. Sci. Noriko H. Arai
1996	J	`jnl`	Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. Theor. Comput. Sci. Noriko H. Arai