English
Related papers

Related papers: TeXmacs-maxima interface

200 papers

Computer science class enrollments have rapidly risen in the past decade. With current class sizes, standard approaches to grading and providing personalized feedback are no longer possible and new techniques become both feasible and…

Formal Languages and Automata Theory · Computer Science 2021-02-02 Loris D'Antoni , Martin Helfrich , Jan Kretinsky , Emanuel Ramneantu , Maximilian Weininger

Multimodal Large Language Models (MLLMs) have shown impressive results on various multimodal tasks. However, most existing MLLMs are not well suited for document-oriented tasks, which require fine-grained image perception and information…

Computer Vision and Pattern Recognition · Computer Science 2024-04-16 Ya-Qi Yu , Minghui Liao , Jihao Wu , Yongxin Liao , Xiaoyu Zheng , Wei Zeng

Automated testing plays a crucial role in ensuring software security. It heavily relies on formal specifications to validate the correctness of the system behavior. However, the main approach to defining these formal specifications is…

Software Engineering · Computer Science 2025-04-03 Hui Li , Zhen Dong , Siao Wang , Hui Zhang , Liwei Shen , Xin Peng , Dongdong She

The recent developments in Large Language Models (LLM), mark a significant moment in the research and development of social interactions with artificial agents. These agents are widely deployed in a variety of settings, with potential…

Human-Computer Interaction · Computer Science 2024-07-03 Guy Laban , Tomer Laban , Hatice Gunes

TeX is a widely-used typesetting system adopted by most publishers and professional societies. While TeX is responsible for generating a significant number of documents, irregularities in the TeX ecosystem may produce inconsistent…

Software Engineering · Computer Science 2024-09-04 Jovyn Tan , Manuel Rigger

Vision-language models have made significant strides recently, demonstrating superior performance across a range of tasks, e.g. optical character recognition and complex diagram analysis. Building on this trend, we introduce a new…

Computer Vision and Pattern Recognition · Computer Science 2024-12-12 Yuan Liu , Le Tian , Xiao Zhou , Xinyu Gao , Kavio Yu , Yang Yu , Jie Zhou

This is a user manual for the software package FASTA.

Mathematical Software · Computer Science 2016-01-22 Tom Goldstein , Christoph Studer , Richard Baraniuk

Real-world vision-language applications demand varying levels of perceptual granularity. However, most existing visual large language models (VLLMs), such as LLaVA, pre-assume a fixed resolution for downstream tasks, which leads to subpar…

Computer Vision and Pattern Recognition · Computer Science 2025-10-14 Weiqing Luo , Zhen Tan , Yifan Li , Xinyu Zhao , Kwonjoon Lee , Behzad Dariush , Tianlong Chen

Recent advances in multimodal large language models (MLLMs) have demonstrated strong capabilities in understanding general visual content. However, these general-domain MLLMs perform poorly in face perception tasks, often producing…

Computer Vision and Pattern Recognition · Computer Science 2025-04-29 Jingzhi Li , Changjiang Luo , Ruoyu Chen , Hua Zhang , Wenqi Ren , Jianhou Gan , Xiaochun Cao

To enhance productivity and to streamline workflows, there is a growing trend to embed large language model (LLM) functionality into applications, from browser-based web apps to native apps that run on personal computers. Here, we introduce…

Human-Computer Interaction · Computer Science 2024-08-01 Lukas Teufelberger , Xintong Liu , Zhipeng Li , Max Moebus , Christian Holz

Large Language Models (LLMs) have seen an impressive wave of advances recently, with models now excelling in a variety of tasks, such as mathematical reasoning and program synthesis. However, their potential to effectively use tools via API…

Computation and Language · Computer Science 2023-05-25 Shishir G. Patil , Tianjun Zhang , Xin Wang , Joseph E. Gonzalez

The optimization of information visualizations is time consuming and expensive. To reduce this we propose an improvement of existing optimization approaches based on user-centered design, focusing on readability, comprehensibility, and user…

Human-Computer Interaction · Computer Science 2020-02-18 David Baum , Pascal Kovacs , Ulrich Eisenecker , Richard Müller

Multimodal large language models are typically trained in two stages: first pre-training on image-text pairs, and then fine-tuning using supervised vision-language instruction data. Recent studies have shown that large language models can…

Machine Learning · Computer Science 2026-04-14 Lai Wei , Xiaozhe Li , Zihao Jiang , Weiran Huang , Lichao Sun

Multimodal visual language models are gaining prominence in open-world applications, driven by advancements in model architectures, training techniques, and high-quality data. However, their performance is often limited by insufficient…

Computer Vision and Pattern Recognition · Computer Science 2025-02-17 Jiankang Chen , Tianke Zhang , Changyi Liu , Haojie Ding , Yaya Shi , Feng Cheng , Huihui Xiao , Bin Wen , Fan Yang , Tingting Gao , Di Zhang

Large Transformers have achieved state-of-the-art performance across many tasks. Most open-source libraries on scaling Transformers focus on improving training or inference with better parallelization. In this work, we present TorchScale,…

Machine Learning · Computer Science 2022-11-24 Shuming Ma , Hongyu Wang , Shaohan Huang , Wenhui Wang , Zewen Chi , Li Dong , Alon Benhaim , Barun Patra , Vishrav Chaudhary , Xia Song , Furu Wei

In the past year, MultiModal Large Language Models (MM-LLMs) have undergone substantial advancements, augmenting off-the-shelf LLMs to support MM inputs or outputs via cost-effective training strategies. The resulting models not only…

Computation and Language · Computer Science 2024-05-29 Duzhen Zhang , Yahan Yu , Jiahua Dong , Chenxing Li , Dan Su , Chenhui Chu , Dong Yu

This technical report introduces the EXAONE 3.5 instruction-tuned language models, developed and released by LG AI Research. The EXAONE 3.5 language models are offered in three configurations: 32B, 7.8B, and 2.4B. These models feature…

Large Language Models (LLMs) are transforming Conversational Visual Analytics (CVA) by enabling data analysis through natural language. However, evaluating LLMs for CVA remains a challenge: requiring programming expertise, overlooking…

Human-Computer Interaction · Computer Science 2026-03-09 Srishti Palani , Vidya Setlur

Finetuning language models on a collection of datasets phrased as instructions has been shown to improve model performance and generalization to unseen tasks. In this paper we explore instruction finetuning with a particular focus on (1)…