English
Related papers

Related papers: sTeXIDE: An Integrated Development Environment for…

200 papers

As large language models (LLMs) increasingly assist scientific writing, limitations and the significant token cost of TeX become more and more visible. This paper analyzes TeX's fundamental defects in compilation and user experience design…

Computation and Language · Computer Science 2026-03-12 Tianyou Liu , Ziqiang Li , Xurui Liu , Yu Wu , Yansong Li

Each claim in a research paper requires all relevant prior knowledge to be discovered, assimilated, and appropriately cited. However, despite the availability of powerful search engines and sophisticated text editing software, discovering…

Information Retrieval · Computer Science 2020-05-12 Onur Gökçe , Jonathan Prada , Nikola I. Nikolov , Nianlong Gu , Richard H. R. Hahnloser

The ability to understand and answer questions over documents can be useful in many business and practical applications. However, documents often contain lengthy and diverse multimodal contents such as texts, figures, and tables, which are…

Computation and Language · Computer Science 2024-11-12 Yew Ken Chia , Liying Cheng , Hou Pong Chan , Chaoqun Liu , Maojia Song , Sharifah Mahani Aljunied , Soujanya Poria , Lidong Bing

The practice of programming is undergoing a revolution with the introduction of AI assisted development (copilots) and the creation of new programming languages that are designed explicitly for tooling, analysis, and automation. Integrated…

Software Engineering · Computer Science 2024-06-17 Mark Marron

Scientific knowledge graphs have been proposed as a solution to structure the content of research publications in a machine-actionable way and enable more efficient, computer-assisted workflows for many research activities. Crowd-sourcing…

Digital Libraries · Computer Science 2023-04-27 Christof Bless , Ildar Baimuratov , Oliver Karras

DevOps can be best explained as people working together to conceive, build and deliver secure software at top speed. DevOps practices enable software development (dev) and operations (ops) teams to accelerate delivery through automation,…

Computers and Society · Computer Science 2025-01-22 Ganesh Neelakanta Iyer , Andrew Goh Yisheng , Metilda Chee Heng Er , Weng Xian Choong , Shao Wei Koh

Symmetric monoidal categories (SMCs) are a common framework for reasoning about computation, focusing on the parallel and sequential compositionality of operations. String diagrams are a ubiquitous and powerful tool for reasoning about…

Logic in Computer Science · Computer Science 2026-05-26 Benjamin Caldwell , William Spencer , Aleks Kissinger , Robert Rand

The rapid acceleration of scientific publishing has created substantial challenges for researchers attempting to discover, contextualize, and interpret relevant literature. Traditional keyword-based search systems provide limited semantic…

Information Retrieval · Computer Science 2025-12-16 Sina Jani , Arman Heidari , Amirmohammad Anvari , Zahra Rahimi

Text-to-SQL technology has evolved rapidly, with diverse academic methods achieving impressive results. However, deploying these techniques in real-world systems remains challenging due to limited integration tools. Despite these advances,…

Computation and Language · Computer Science 2025-10-29 Yihan Wang , Peiyu Liu , Runyu Chen , Jiaxing Pu , Wei Xu

We introduce SmolDocling, an ultra-compact vision-language model targeting end-to-end document conversion. Our model comprehensively processes entire pages by generating DocTags, a new universal markup format that captures all page elements…

Task-oriented dialogue systems are broadly used in virtual assistants and other automated services, providing interfaces between users and machines to facilitate specific tasks. Nowadays, task-oriented dialogue systems have greatly…

Computation and Language · Computer Science 2024-05-17 Ruolin Su , Biing-Hwang Juang

Software libraries for most of the modern programming languages are numerous, large and complex. Remembering the syntax and usage of APIs is a difficult task for not just novices but also expert programmers. IDEs (Integrated Development…

Human-Computer Interaction · Computer Science 2014-09-24 Anant Bhardwaj , Dave Luciano , Scott Klemmer

In the past decades, integrated development environments (IDEs) have been largely advanced to facilitate common software engineering tasks. Yet, with growing information needs driven by increasing complexity in developing modern…

Software Engineering · Computer Science 2021-11-02 Haipeng Cai

Background: Accurate representation of developer expertise has always been an important research problem. While a number of studies proposed novel methods of representing expertise within individual projects, these methods are difficult to…

Software Engineering · Computer Science 2021-02-03 Tapajit Dey , Andrey Karnauch , Audris Mockus

Mathematical documents written in LaTeX often contain ambiguities. We can resolve some of them via semantic markup using, e.g., sTeX, which also has other potential benefits, such as interoperability with computer algebra systems, proof…

Computation and Language · Computer Science 2024-08-12 Luka Vrečar , Joe Wells , Fairouz Kamareddine

Nowadays, document clustering is considered as a data intensive task due to the dramatic, fast increase in the number of available documents. Nevertheless, the features that represent those documents are also too large. The most common…

Databases · Computer Science 2015-05-13 Abdelrahman Elsayed , Hoda M. O. Mokhtar , Osama Ismail

Collaborative writing is essential for teams that create documents together. Creating documents in large-scale collaborations is a challenging task that requires an efficient workflow. The design of such a workflow has received…

Human-Computer Interaction · Computer Science 2023-03-20 Markus Hofbauer , Christoph Bachhuber , Christopher Kuhn , Sebastian Schwarz , Bart Kroon , Eckehard Steinbach

Modern CMake offers the features to manage versatile and complex projects with ease. With respect to OMNeT++ projects, a workflow relying on CMake enables projects to combine discrete event simulation and production code in a common…

Networking and Internet Architecture · Computer Science 2021-10-15 Heinz-Peter Liechtenecker , Raphael Riebl

Nowadays, it has become a basic need to reuse existing Application Programming Interface (API), Class Libraries, and frameworks for rapid software development. Software developers often reuse this by calling the respective APIs or…

Software Engineering · Computer Science 2020-05-07 Ziaur Rahman

We address the relative paucity of empirical testing of learning algorithms (of any type) by introducing a new public-domain, Modular, Optimal Learning Testing Environment (MOLTE) for Bayesian ranking and selection problem, stochastic…

Machine Learning · Computer Science 2017-09-15 Yingfei Wang , Warren Powell