@article{BibbaseGreinerPetter23b,
	title = {Do the {Math}: {Making} {Mathematics} in {Wikipedia} {Computable}},
	volume = {45},
	issn = {0162-8828, 1939-3539},
	shorttitle = {Do the {Math}},
	url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9847017},
	doi = {10.1109/TPAMI.2022.3195261},
	abstract = {Wikipedia combines the power of AI solutions and human reviewers to safeguard article quality. Quality control objectives include detecting malicious edits, fixing typos, and spotting inconsistent formatting. However, no automated quality control mechanisms currently exist for mathematical formulae. Spell checkers are widely used to highlight textual errors, yet no equivalent tool exists to detect algebraically incorrect formulae. Our paper addresses this shortcoming by making mathematical formulae computable.

We present a method that (1) gathers the semantic information surrounding the context of each mathematical formulae, (2) provides access to the information in a graph-structured dependency hierarchy, and (3) performs automatic plausibility checks on equations. We evaluate the performance of our approach on 6,337 mathematical expressions contained in 104 Wikipedia articles on the topic of orthogonal polynomials and special functions. Our system, LaCASt, verified 358 out of 1,516 equations as error-free. LaCASt successfully translated 27\% of the mathematical expressions and outperformed existing translation approaches by 16\%. Additionally, LaCASt achieved an F1 score of .495 for annotating mathematical expressions with relevant textual descriptions, which is a significant step towards advancing searchability, readability, and accessibility of mathematical formulae in Wikipedia. 

A prototype of LaCASt and the semantically enhanced Wikipedia articles are available at: https://tpami.wmflabs.org.},
	number = {4},
	urldate = {2022-10-03},
	journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
	author = {Greiner-Petter, Andre and Schubotz, Moritz and Breitinger, Corinna and Scharpf, Philipp and Aizawa, Akiko and Gipp, Bela},
	year = {2023},
	note = {Journal Rank Q1; IF: 24.314},
	pages = {4384--4395},
}

{"_id":"ZbNmJ8b23X8wPvPW9","bibbaseid":"greinerpetter-schubotz-breitinger-scharpf-aizawa-gipp-dothemathmakingmathematicsinwikipediacomputable-2023","author_short":["Greiner-Petter, A.","Schubotz, M.","Breitinger, C.","Scharpf, P.","Aizawa, A.","Gipp, B."],"bibdata":{"bibtype":"article","type":"article","title":"Do the Math: Making Mathematics in Wikipedia Computable","volume":"45","issn":"0162-8828, 1939-3539","shorttitle":"Do the Math","url":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9847017","doi":"10.1109/TPAMI.2022.3195261","abstract":"Wikipedia combines the power of AI solutions and human reviewers to safeguard article quality. Quality control objectives include detecting malicious edits, fixing typos, and spotting inconsistent formatting. However, no automated quality control mechanisms currently exist for mathematical formulae. Spell checkers are widely used to highlight textual errors, yet no equivalent tool exists to detect algebraically incorrect formulae. Our paper addresses this shortcoming by making mathematical formulae computable. We present a method that (1) gathers the semantic information surrounding the context of each mathematical formulae, (2) provides access to the information in a graph-structured dependency hierarchy, and (3) performs automatic plausibility checks on equations. We evaluate the performance of our approach on 6,337 mathematical expressions contained in 104 Wikipedia articles on the topic of orthogonal polynomials and special functions. Our system, LaCASt, verified 358 out of 1,516 equations as error-free. LaCASt successfully translated 27% of the mathematical expressions and outperformed existing translation approaches by 16%. Additionally, LaCASt achieved an F1 score of .495 for annotating mathematical expressions with relevant textual descriptions, which is a significant step towards advancing searchability, readability, and accessibility of mathematical formulae in Wikipedia. A prototype of LaCASt and the semantically enhanced Wikipedia articles are available at: https://tpami.wmflabs.org.","number":"4","urldate":"2022-10-03","journal":"IEEE Transactions on Pattern Analysis and Machine Intelligence","author":[{"propositions":[],"lastnames":["Greiner-Petter"],"firstnames":["Andre"],"suffixes":[]},{"propositions":[],"lastnames":["Schubotz"],"firstnames":["Moritz"],"suffixes":[]},{"propositions":[],"lastnames":["Breitinger"],"firstnames":["Corinna"],"suffixes":[]},{"propositions":[],"lastnames":["Scharpf"],"firstnames":["Philipp"],"suffixes":[]},{"propositions":[],"lastnames":["Aizawa"],"firstnames":["Akiko"],"suffixes":[]},{"propositions":[],"lastnames":["Gipp"],"firstnames":["Bela"],"suffixes":[]}],"year":"2023","note":"Journal Rank Q1; IF: 24.314","pages":"4384–4395","bibtex":"@article{BibbaseGreinerPetter23b,\n\ttitle = {Do the {Math}: {Making} {Mathematics} in {Wikipedia} {Computable}},\n\tvolume = {45},\n\tissn = {0162-8828, 1939-3539},\n\tshorttitle = {Do the {Math}},\n\turl = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9847017},\n\tdoi = {10.1109/TPAMI.2022.3195261},\n\tabstract = {Wikipedia combines the power of AI solutions and human reviewers to safeguard article quality. Quality control objectives include detecting malicious edits, fixing typos, and spotting inconsistent formatting. However, no automated quality control mechanisms currently exist for mathematical formulae. Spell checkers are widely used to highlight textual errors, yet no equivalent tool exists to detect algebraically incorrect formulae. Our paper addresses this shortcoming by making mathematical formulae computable.\n\nWe present a method that (1) gathers the semantic information surrounding the context of each mathematical formulae, (2) provides access to the information in a graph-structured dependency hierarchy, and (3) performs automatic plausibility checks on equations. We evaluate the performance of our approach on 6,337 mathematical expressions contained in 104 Wikipedia articles on the topic of orthogonal polynomials and special functions. Our system, LaCASt, verified 358 out of 1,516 equations as error-free. LaCASt successfully translated 27\\% of the mathematical expressions and outperformed existing translation approaches by 16\\%. Additionally, LaCASt achieved an F1 score of .495 for annotating mathematical expressions with relevant textual descriptions, which is a significant step towards advancing searchability, readability, and accessibility of mathematical formulae in Wikipedia. \n\nA prototype of LaCASt and the semantically enhanced Wikipedia articles are available at: https://tpami.wmflabs.org.},\n\tnumber = {4},\n\turldate = {2022-10-03},\n\tjournal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},\n\tauthor = {Greiner-Petter, Andre and Schubotz, Moritz and Breitinger, Corinna and Scharpf, Philipp and Aizawa, Akiko and Gipp, Bela},\n\tyear = {2023},\n\tnote = {Journal Rank Q1; IF: 24.314},\n\tpages = {4384--4395},\n}\n\n","author_short":["Greiner-Petter, A.","Schubotz, M.","Breitinger, C.","Scharpf, P.","Aizawa, A.","Gipp, B."],"key":"BibbaseGreinerPetter23b","id":"BibbaseGreinerPetter23b","bibbaseid":"greinerpetter-schubotz-breitinger-scharpf-aizawa-gipp-dothemathmakingmathematicsinwikipediacomputable-2023","role":"author","urls":{"Paper":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9847017"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"article","biburl":"https://api.zotero.org/users/7689706/collections/IBJGRWZX/items?key=R0b523dc3oYLxTGap1H4YXgd&format=bibtex&limit=100","dataSources":["wZtCXbB8M6GYSQHMx","QGwcHf7xnb5mCCQi7"],"keywords":[],"search_terms":["math","making","mathematics","wikipedia","computable","greiner-petter","schubotz","breitinger","scharpf","aizawa","gipp"],"title":"Do the Math: Making Mathematics in Wikipedia Computable","year":2023,"downloads":2}