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

doi:10.1007/978-3-319-40229-1_15

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Abstract

This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficulty. Unlike other existing benchmark libraries, this one contains problems that are formalized so that they are obtainable as the result of mechanical translation of the original problems expressed in natural language. In other words, the library is designed to support the integration of the technologies of mechanized math and natural language processing towards the goal of end-to-end automatic math problem solving. The paper also presents preliminary experimental results of our prototype reasoning component of an end-to-end system on the library. The library is publicly available through the Internet.

Original language	English
Title of host publication	Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings
Editors	Nicola Olivetti, Ashish Tiwari
Publisher	Springer Verlag
Pages	213-227
Number of pages	15
ISBN (Print)	9783319402284
DOIs	https://doi.org/10.1007/978-3-319-40229-1_15
Publication status	Published - 2016
Externally published	Yes
Event	8th International Joint Conference on Automated Reasoning, IJCAR 2016 - Coimbra, Portugal Duration: Jun 27 2016 → Jul 2 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9706
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Joint Conference on Automated Reasoning, IJCAR 2016
Country/Territory	Portugal
City	Coimbra
Period	6/27/16 → 7/2/16

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-319-40229-1_15

Cite this

Matsuzaki, T., Iwane, H., Kobayashi, M., Zhan, Y., Fukasaku, R., Kudo, J., Anai, H., & Arai, N. H. (2016). Race against the teens – Benchmarking mechanized math on pre-university problems. In N. Olivetti, & A. Tiwari (Eds.), Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings (pp. 213-227). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9706). Springer Verlag. https://doi.org/10.1007/978-3-319-40229-1_15

Race against the teens – Benchmarking mechanized math on pre-university problems. / Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro et al.
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. ed. / Nicola Olivetti; Ashish Tiwari. Springer Verlag, 2016. p. 213-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9706).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Matsuzaki, T, Iwane, H, Kobayashi, M, Zhan, Y, Fukasaku, R, Kudo, J, Anai, H & Arai, NH 2016, Race against the teens – Benchmarking mechanized math on pre-university problems. in N Olivetti & A Tiwari (eds), Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9706, Springer Verlag, pp. 213-227, 8th International Joint Conference on Automated Reasoning, IJCAR 2016, Coimbra, Portugal, 6/27/16. https://doi.org/10.1007/978-3-319-40229-1_15

Matsuzaki T, Iwane H, Kobayashi M, Zhan Y, Fukasaku R, Kudo J et al. Race against the teens – Benchmarking mechanized math on pre-university problems. In Olivetti N, Tiwari A, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Springer Verlag. 2016. p. 213-227. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-40229-1_15

Matsuzaki, Takuya ; Iwane, Hidenao ; Kobayashi, Munehiro et al. / Race against the teens – Benchmarking mechanized math on pre-university problems. Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. editor / Nicola Olivetti ; Ashish Tiwari. Springer Verlag, 2016. pp. 213-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4401822392eb4be99620f8a5c8733bab,

title = "Race against the teens – Benchmarking mechanized math on pre-university problems",

abstract = "This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficulty. Unlike other existing benchmark libraries, this one contains problems that are formalized so that they are obtainable as the result of mechanical translation of the original problems expressed in natural language. In other words, the library is designed to support the integration of the technologies of mechanized math and natural language processing towards the goal of end-to-end automatic math problem solving. The paper also presents preliminary experimental results of our prototype reasoning component of an end-to-end system on the library. The library is publicly available through the Internet.",

author = "Takuya Matsuzaki and Hidenao Iwane and Munehiro Kobayashi and Yiyang Zhan and Ryoya Fukasaku and Jumma Kudo and Hirokazu Anai and Arai, {Noriko H.}",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 8th International Joint Conference on Automated Reasoning, IJCAR 2016 ; Conference date: 27-06-2016 Through 02-07-2016",

year = "2016",

doi = "10.1007/978-3-319-40229-1_15",

language = "English",

isbn = "9783319402284",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "213--227",

editor = "Nicola Olivetti and Ashish Tiwari",

booktitle = "Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings",

address = "Germany",

}

TY - GEN

T1 - Race against the teens – Benchmarking mechanized math on pre-university problems

AU - Matsuzaki, Takuya

AU - Iwane, Hidenao

AU - Kobayashi, Munehiro

AU - Zhan, Yiyang

AU - Fukasaku, Ryoya

AU - Kudo, Jumma

AU - Anai, Hirokazu

AU - Arai, Noriko H.

PY - 2016

Y1 - 2016

N2 - This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficulty. Unlike other existing benchmark libraries, this one contains problems that are formalized so that they are obtainable as the result of mechanical translation of the original problems expressed in natural language. In other words, the library is designed to support the integration of the technologies of mechanized math and natural language processing towards the goal of end-to-end automatic math problem solving. The paper also presents preliminary experimental results of our prototype reasoning component of an end-to-end system on the library. The library is publicly available through the Internet.

AB - This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficulty. Unlike other existing benchmark libraries, this one contains problems that are formalized so that they are obtainable as the result of mechanical translation of the original problems expressed in natural language. In other words, the library is designed to support the integration of the technologies of mechanized math and natural language processing towards the goal of end-to-end automatic math problem solving. The paper also presents preliminary experimental results of our prototype reasoning component of an end-to-end system on the library. The library is publicly available through the Internet.

UR - http://www.scopus.com/inward/record.url?scp=84976638591&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976638591&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-40229-1_15

DO - 10.1007/978-3-319-40229-1_15

M3 - Conference contribution

AN - SCOPUS:84976638591

SN - 9783319402284

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 213

EP - 227

BT - Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings

A2 - Olivetti, Nicola

A2 - Tiwari, Ashish

PB - Springer Verlag

T2 - 8th International Joint Conference on Automated Reasoning, IJCAR 2016

Y2 - 27 June 2016 through 2 July 2016

ER -

Race against the teens – Benchmarking mechanized math on pre-university problems

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this