Munehiro Kobayashi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2016–2016
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |