English
Related papers

Related papers: Tabularis Formatus: Predictive Formatting for Tabl…

200 papers

Collaborative filtering (CF), as a fundamental approach for recommender systems, is usually built on the latent factor model with learnable parameters to predict users' preferences towards items. However, designing a proper CF model for a…

Information Retrieval · Computer Science 2021-06-15 Chen Gao , Quanming Yao , Depeng Jin , Yong Li

Tabular data analysis is crucial in many scenarios, yet efficiently identifying the most relevant data analysis queries and results for a new table remains a significant challenge. The complexity of tabular data, diverse analytical…

Computation and Language · Computer Science 2025-04-01 Deyin Yi , Yihao Liu , Lang Cao , Mengyu Zhou , Haoyu Dong , Shi Han , Dongmei Zhang

Tables store rich numerical data, but numerical reasoning over tables is still a challenge. In this paper, we find that the spreadsheet formula, which performs calculations on numerical values in tables, is naturally a strong supervision of…

Information Retrieval · Computer Science 2022-03-29 Zhoujun Cheng , Haoyu Dong , Ran Jia , Pengfei Wu , Shi Han , Fan Cheng , Dongmei Zhang

Process Reward Models (PRMs) have recently emerged as a powerful framework for enhancing the reasoning capabilities of large reasoning models (LRMs), particularly in the context of test-time scaling (TTS). However, their potential for…

Artificial Intelligence · Computer Science 2025-10-08 Jiaru Zou , Soumya Roy , Vinay Kumar Verma , Ziyi Wang , David Wipf , Pan Lu , Sumit Negi , James Zou , Jingrui He

Tabular data from different tables exhibit significant diversity due to varied definitions and types of features, as well as complex inter-feature and feature-target relationships. Cross-dataset pretraining, which learns reusable patterns…

Machine Learning · Computer Science 2024-06-04 Jintai Chen , Zhen Lin , Qiyuan Chen , Jimeng Sun

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form. However, rule formulation is a complex process…

Artificial Intelligence · Computer Science 2020-02-13 Cristina Cornelio , Veronika Thost

Fact verification on tabular evidence incentivises the use of symbolic reasoning models where a logical form is constructed (e.g. a LISP-style program), providing greater verifiability than fully neural approaches. However, these systems…

Computation and Language · Computer Science 2024-11-05 Rami Aly , Andreas Vlachos

Academic tabular benchmarks often contain small sets of curated features. In contrast, data scientists typically collect as many features as possible into their datasets, and even engineer new features from existing ones. To prevent…

With the proliferation of data across various domains, there is a critical demand for tools that enable non-experts to derive meaningful insights without deep data analysis skills. To address this need, existing automatic fact sheet…

Human-Computer Interaction · Computer Science 2025-02-26 Minh Duc Vu , Jieshan Chen , Zhenchang Xing , Qinghua Lu , Xiwei Xu , Qian Fu

Tabular prediction can benefit from in-table rows as few-shot evidence, yet existing tabular models typically perform instance-wise inference and LLM-based prompting is often brittle. Models do not consistently leverage relevant rows, and…

Machine Learning · Computer Science 2026-02-13 Yongyao Wang , Ziqi Miao , Lu Yang , Haonan Jia , Wenting Yan , Chen Qian , Lijun Li

Context: Tables are ubiquitous formats for data. Therefore, techniques for writing correct programs over tables, and debugging incorrect ones, are vital. Our specific focus in this paper is on rich types that articulate the properties of…

Programming Languages · Computer Science 2021-11-23 Kuang-Chen Lu , Ben Greenman , Shriram Krishnamurthi

This tool paper presents Caos: a methodology and a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a set of Scala libraries and a workflow to produce visual and…

Programming Languages · Computer Science 2023-05-01 José Proença , Luc Edixhoven

Although remarkable progress on the neural table-to-text methods has been made, the generalization issues hinder the applicability of these models due to the limited source tables. Large-scale pretrained language models sound like a…

Computation and Language · Computer Science 2023-01-06 Miao Chen , Xinjiang Lu , Tong Xu , Yanyan Li , Jingbo Zhou , Dejing Dou , Hui Xiong

Machine-learning models, which are known to accurately predict patterns from large datasets, are crucial in decision making. Consequently, counterfactual explanations-methods explaining predictions by introducing input perturbations-have…

Machine Learning · Computer Science 2024-04-23 Yuta Sumiya , Hayaru shouno

Non-independent and identically distributed (Non-IID) data across edge clients have long posed significant challenges to federated learning (FL) training in edge computing environments. Prior works have proposed various methods to mitigate…

Machine Learning · Computer Science 2025-04-25 Weijie Liu , Ziwei Zhan , Carlee Joe-Wong , Edith Ngai , Jingpu Duan , Deke Guo , Xu Chen , Xiaoxi Zhang

Data analysts often need to iterate between data transformations and chart designs to create rich visualizations for exploratory data analysis. Although many AI-powered systems have been introduced to reduce the effort of visualization…

Human-Computer Interaction · Computer Science 2025-02-24 Chenglong Wang , Bongshin Lee , Steven Drucker , Dan Marshall , Jianfeng Gao

Neural implicit mapping has emerged as a powerful paradigm for robotic navigation and scene understanding. However, real-world robotic deployment requires continual adaptation to changing environments under strict memory and computation…

Robotics · Computer Science 2026-05-29 Xunlan Zhou , Hongrui Zhao , Negar Mehr

TabPFN has emerged as a promising in-context learning model for tabular data, capable of directly predicting the labels of test samples given labeled training examples. It has demonstrated competitive performance, particularly on…

Machine Learning · Computer Science 2025-02-05 Si-Yang Liu , Han-Jia Ye

We present ToTTo, an open-domain English table-to-text dataset with over 120,000 training examples that proposes a controlled generation task: given a Wikipedia table and a set of highlighted table cells, produce a one-sentence description.…

Computation and Language · Computer Science 2020-10-07 Ankur P. Parikh , Xuezhi Wang , Sebastian Gehrmann , Manaal Faruqui , Bhuwan Dhingra , Diyi Yang , Dipanjan Das

One of the main challenges in the area of Neuro-Symbolic AI is to perform logical reasoning in the presence of both neural and symbolic data. This requires combining heterogeneous data sources such as knowledge graphs, neural model…

Artificial Intelligence · Computer Science 2024-03-06 Matthias Lanzinger , Stefano Sferrazza , Przemysław A. Wałęga , Georg Gottlob