Munehiro Kobayashi

According to our database, Munehiro Kobayashi authored at least 4 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems.

Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai

AI Commun., 2018

2016

An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans.

Takuya Matsuzaki, Munehiro Kobayashi, Noriko H. Arai

Proceedings of the 38th Annual Meeting of the Cognitive Science Society, 2016

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

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas.

Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015