Qualitative and Quantitative Evaluations
André Greiner-Petter · 2022
Abstract This chapter primarily contributes to the research task V, i.e., evaluating the effectiveness of the semantification and translation system LACAST. In Section 5.1, we also extend LACAST semantic LATEX translations to support more mathematical operators, including sums, products, integrals, and limit notations. Hence, this chapter secondarily also contributes to research task IV, i.e., implementing an extension of the semantification approach to provide translations to CAS. We evaluate LACAST on two different datasets: the DLMF and Wikipedia.