English
Related papers

Related papers: VMEXT: A Visualization Tool for Mathematical Expre…

200 papers

Mathematical language in scientific communications and educational scenarios is important yet relatively understudied compared to natural languages. Recent works on mathematical language focus either on representing stand-alone mathematical…

Computation and Language · Computer Science 2023-02-17 Alexander Scarlatos , Andrew Lan

Human subject studies that map-like visualizations are as good or better than standard node-link representations of graphs, in terms of task performance, memorization and recall of the underlying data, and engagement [SSKB14, SSKB15]. With…

Computational Geometry · Computer Science 2019-12-10 Felice De Luca , Iqbal Hossain , Kathryn Gray , Stephen Kobourov , Katy Börner

Generating mathematical equations from natural language requires an accurate understanding of the relations among math expressions. Existing approaches can be broadly categorized into token-level and expression-level generation. The former…

Computation and Language · Computer Science 2023-10-19 Wenqi Zhang , Yongliang Shen , Qingpeng Nong , Zeqi Tan , Yanna Ma , Weiming Lu

Legacy spreadsheets are both, an asset, and an enduring problem concerning spreadsheets in business. To make spreadsheets stay alive and remain correct, comprehension of a given spreadsheet is highly important. Visualization techniques…

Software Engineering · Computer Science 2008-09-19 Karin Hodnigg , Roland T. Mittermeir

Mathematical knowledge exists in many forms, ranging from informal textbooks and lecture notes to large formal proof libraries, yet moving between these representations remains difficult. Informal texts hide dependencies, while formal…

Human-Computer Interaction · Computer Science 2026-01-23 Elif Uskuplu , Lawrence S. Moss , Valeria de Paiva

Merge trees are a type of topological descriptors that record the connectivity among the sublevel sets of scalar fields. They are among the most widely used topological tools in visualization. In this paper, we are interested in sketching a…

Computational Geometry · Computer Science 2021-06-01 Mingzhe Li , Sourabh Palande , Lin Yan , Bei Wang

The chemical sciences are producing an unprecedented amount of large, high-dimensional data sets containing chemical structures and associated properties. However, there are currently no algorithms to visualize such data while preserving…

Human-Computer Interaction · Computer Science 2020-01-07 Daniel Probst , Jean-Louis Reymond

Document preparation systems like LaTeX offer the ability to render mathematical expressions as one would write these on paper. Using LaTeX, LaTeXML, and tools generated for use in the National Institute of Standards (NIST) Digital Library…

Representing source code in a generic input format is crucial to automate software engineering tasks, e.g., applying machine learning algorithms to extract information. Visualizing code representations can further enable human experts to…

Software Engineering · Computer Science 2023-07-28 Yuejun Guo , Seifeddine Bettaieb , Qiang Hu , Yves Le Traon , Qiang Tang

While there exist many methods in machine learning for comparison of letter string data, most are better equipped to handle strings that represent natural language, and their performance will not hold up when presented with strings that…

Artificial Intelligence · Computer Science 2021-02-15 Reza Shahbazi

Automatically assessing handwritten mathematical solutions is an important problem in educational technology with practical applications, but it remains a significant challenge due to the diverse formats, unstructured layouts, and symbolic…

Computation and Language · Computer Science 2025-10-28 Thu Phuong Nguyen , Duc M. Nguyen , Hyotaek Jeon , Hyunwook Lee , Hyunmin Song , Sungahn Ko , Taehwan Kim

Variable trees are a new method for the exploration of discrete multivariate data. They display nested subsets and corresponding frequencies and percentages. Manual calculation of these quantities can be laborious, especially when there are…

Computation · Statistics 2021-02-08 Nick Barrowman , Richard J. Webster

Neural programming involves training neural networks to learn programs, mathematics, or logic from data. Previous works have failed to achieve good generalization performance, especially on problems and programs with high complexity or on…

Machine Learning · Computer Science 2018-04-30 Forough Arabshahi , Sameer Singh , Animashree Anandkumar

Data visualization tasks often require multi-step reasoning, and the interpretive strategies experts use, such as decomposing complex goals into smaller subtasks and selectively attending to key chart regions are rarely made explicit.…

Human-Computer Interaction · Computer Science 2025-06-30 Oliver Huang , Carolina Nobre

A visualization notation is a recurring pattern of symbols used to author specifications of visualizations, from data transformation to visual mapping. Programmatic notations use symbols defined by grammars or domain-specific languages…

Human-Computer Interaction · Computer Science 2023-09-01 Nicolas Kruchten , Andrew M. McNutt , Michael J. McGuffin

We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax tree - as a neural machine translation task. We discuss the…

Machine Learning · Computer Science 2021-01-29 Dennis Müller , Cezary Kaliszyk

In this paper, we present Language Model as Visual Explainer LVX, a systematic approach for interpreting the internal workings of vision models using a tree-structured linguistic explanation, without the need for model training. Central to…

Computer Vision and Pattern Recognition · Computer Science 2024-12-12 Xingyi Yang , Xinchao Wang

Handwritten Mathematical Expression Recognition (HMER) has extensive applications in automated grading and office automation. However, existing sequence-based decoding methods, which directly predict $\LaTeX$ sequences, struggle to…

Computer Vision and Pattern Recognition · Computer Science 2024-12-12 Jianhua Zhu , Wenqi Zhao , Yu Li , Xingjian Hu , Liangcai Gao

Mathematical notation makes up a large portion of STEM literature, yet finding semantic representations for formulae remains a challenging problem. Because mathematical notation is precise, and its meaning changes significantly with small…

Computation and Language · Computer Science 2023-09-06 Neeraj Gangwar , Nickvash Kani

Machine learning (ML) is believed to be an effective and efficient tool to build reliable prediction model or extract useful structure from an avalanche of data. However, ML is also criticized by its difficulty in interpretation and…

Human-Computer Interaction · Computer Science 2016-10-19 Teng Lee , James Johnson , Steve Cheng
‹ Prev 1 2 3 10 Next ›