中文
相关论文

相关论文: VMEXT: A Visualization Tool for Mathematical Expre…

200 篇论文

Large Vision-Language Models (LVLMs) have shown exceptional performance in multimodal tasks, but their effectiveness in complex visual reasoning is still constrained, especially when employing Chain-of-Thought prompting techniques. In this…

计算机视觉与模式识别 · 计算机科学 2025-06-11 Congzhi Zhang , Jiawei Peng , Zhenglin Wang , Yilong Lai , Haowen Sun , Heng Chang , Fei Ma , Weijiang Yu

Data visualizations are created and shared on the web at an unprecedented speed, raising new needs and questions for processing and analyzing visualizations after they have been generated and digitized. However, existing formalisms focus on…

人机交互 · 计算机科学 2022-04-05 Aoyu Wu , Wai Tong , Haotian Li , Dominik Moritz , Yong Wang , Huamin Qu

Traditionally a document is visualized by a word cloud. Recently, distributed representation methods for documents have been developed, which map a document to a set of topic embeddings. Visualizing such a representation is useful to…

信息检索 · 计算机科学 2017-02-07 Shaohua Li , Tat-Seng Chua

Visual grounding, a task to ground (i.e., localize) natural language in images, essentially requires composite visual reasoning. However, existing methods over-simplify the composite nature of language into a monolithic sentence embedding…

计算机视觉与模式识别 · 计算机科学 2019-10-22 Daqing Liu , Hanwang Zhang , Feng Wu , Zheng-Jun Zha

Vision-Language Models (VLMs) have achieved impressive performance in cross-modal understanding across textual and visual inputs, yet existing benchmarks predominantly focus on pure-text queries. In real-world scenarios, language also…

计算机视觉与模式识别 · 计算机科学 2026-05-19 Qing'an Liu , Juntong Feng , Yuhao Wang , Xinzhe Han , Yujie Cheng , Yue Zhu , Haiwen Diao , Yunzhi Zhuge , Huchuan Lu

Existing data visualization formalisms are restricted to single-table inputs, which makes existing visualization grammars like Vega-lite or ggplot2 tedious to use, have overly complex APIs, and unsound when visualization multi-table data.…

数据库 · 计算机科学 2025-04-15 Eugene Wu , Xiang Yu Tuang , Antonio Li , Vareesh Bainwala

In this paper, we present a new approach to the semantic enrichment of mathematical expression problem. Our approach is a combination of statistical machine translation and disambiguation which makes use of surrounding text of the…

数字图书馆 · 计算机科学 2013-06-03 Minh-Quoc Nghiem , Giovanni Yoko Kristianto , Goran Topic , Akiko Aizawa

While neural network approaches are achieving breakthrough performance in the natural language related fields, there have been few similar attempts at mathematical language related tasks. In this study, we explore the potential of applying…

信息检索 · 计算机科学 2017-08-30 Liangcai Gao , Zhuoren Jiang , Yue Yin , Ke Yuan , Zuoyu Yan , Zhi Tang

Data trees serve as an abstraction of structured data, such as XML documents. A number of specification formalisms for languages of data trees have been developed, many of them adhering to the paradigm of register automata, which is based…

形式语言与自动机理论 · 计算机科学 2024-07-12 Simon Prucker , Lutz Schröder

Large Language Models (LLMs) have become a cornerstone for automated visualization code generation, enabling users to create charts through natural language instructions. Despite improvements from techniques like few-shot prompting and…

软件工程 · 计算机科学 2026-01-13 Wonduk Seo , Daye Kang , Hyunjin An , Taehan Kim , Soohyuk Cho , Seungyong Lee , Minhyeong Yu , Jian Park , Yi Bu , Seunghyun Lee

Program representation, which aims at converting program source code into vectors with automatically extracted features, is a fundamental problem in programming language processing (PLP). Recent work tries to represent programs with neural…

机器学习 · 计算机科学 2022-02-28 Ting Long , Yutong Xie , Xianyu Chen , Weinan Zhang , Qinxiang Cao , Yong Yu

Sequence-to-sequence (SEQ2SEQ) models have been successfully applied to automatic math word problem solving. Despite its simplicity, a drawback still remains: a math word problem can be correctly solved by more than one equations. This…

计算与语言 · 计算机科学 2018-11-16 Lei Wang , Yan Wang , Deng Cai , Dongxiang Zhang , Xiaojiang Liu

Ensemble trees are a popular machine learning model which often yields high prediction performance when analysing structured data. Although individual small decision trees are deemed explainable by nature, an ensemble of large trees is…

计算机科学中的逻辑 · 计算机科学 2021-03-04 Gelin Zhang , Zhe Hou , Yanhong Huang , Jianqi Shi , Hadrien Bride , Jin Song Dong , Yongsheng Gao

Unsupervised learning of low-dimensional, semantic representations of words and entities has recently gained attention. In this paper we describe the Semantic Entity Retrieval Toolkit (SERT) that provides implementations of our previously…

计算与语言 · 计算机科学 2017-07-18 Christophe Van Gysel , Maarten de Rijke , Evangelos Kanoulas

Different automated theorem provers reason in various deductive systems and, thus, produce proof objects which are in general not compatible. To understand and analyze these objects, one needs to study the corresponding proof theory, and…

计算机科学中的逻辑 · 计算机科学 2015-08-03 Giselle Reis

Recently, large language models (LLMs) have shown great promise in translating natural language (NL) queries into visualizations, but their "black-box" nature often limits explainability and debuggability. In response, we present a…

人机交互 · 计算机科学 2024-08-28 Subham Sah , Rishab Mitra , Arpit Narechania , Alex Endert , John Stasko , Wenwen Dou

Machine learning (ML) models are constructed by expert ML practitioners using various coding languages, in which they tune and select models hyperparameters and learning algorithms for a given problem domain. They also carefully design an…

机器学习 · 计算机科学 2021-03-16 Subhajit Das , Alex Endert

Vision-Language Models (VLMs) have demonstrated exceptional performance in various multi-modal tasks. Recently, there has been an increasing interest in improving the personalization capabilities of VLMs. To better integrate user-provided…

计算机视觉与模式识别 · 计算机科学 2025-11-17 Ruichuan An , Kai Zeng , Ming Lu , Sihan Yang , Renrui Zhang , Huitong Ji , Hao Liang , Wentao Zhang

Modeling semantic information is helpful for scene text recognition. In this work, we propose to model semantic and visual information jointly with a Visual-Semantic Transformer (VST). The VST first explicitly extracts primary semantic…

计算机视觉与模式识别 · 计算机科学 2021-12-03 Xin Tang , Yongquan Lai , Ying Liu , Yuanyuan Fu , Rui Fang

Researchers collect large amounts of user interaction data with the goal of mapping user's workflows and behaviors to their higher-level motivations, intuitions, and goals. Although the visual analytics community has proposed numerous…

人机交互 · 计算机科学 2022-04-07 Sneha Gathani , Shayan Monadjemi , Alvitta Ottley , Leilani Battle