@article{matsumoto_tracing_2023,
	title = {Tracing and {Manipulating} {Intermediate} {Results} in {Neural} {Math} {Problem} {Solvers}},
	volume = {30},
	issn = {1340-7619, 2185-8314},
	url = {https://www.jstage.jst.go.jp/article/jnlp/30/4/30_1151/_article/-char/ja/},
	doi = {10.5715/jnlp.30.1151},
	language = {en},
	number = {4},
	urldate = {2026-10-14},
	journal = {Journal of Natural Language Processing},
	author = {Matsumoto, Yuta and Heinzerling, Benjamin and Yoshikawa, Masashi and Inui, Kentaro},
	year = {2023},
	pages = {1151--1171},
}