English
Related papers

Related papers: LibNDT: Towards a Formal Library on Spreadable Pro…

200 papers

We reconstruct some of the development in Richard Bird's [2008] paper Zippy Tabulations of Recursive Functions, using dependent types and string diagrams rather than mere simple types. This paper serves as an intuitive introduction to and…

Programming Languages · Computer Science 2025-03-07 Hsiang-Shang Ko , Shin-Cheng Mu , Jeremy Gibbons

Many decentralized distillation methods are designed around training-time coordination, yet deploy each node in isolation even when more capable neighbors remain available at inference time. This is an incomplete objective for settings such…

Machine Learning · Computer Science 2026-05-07 Michael Lanier , Luise Ge , Sastry Kompella , Yevgeniy Vorobeychik

Although BERT is widely used by the NLP community, little is known about its inner workings. Several attempts have been made to shed light on certain aspects of BERT, often with contradicting conclusions. A much raised concern focuses on…

Computation and Language · Computer Science 2020-10-13 Nikolaos Manginas , Ilias Chalkidis , Prodromos Malakasiotis

A key feature of neural models is that they can produce semantic vector representations of objects (texts, images, speech, etc.) ensuring that similar objects are close to each other in the vector space. While much work has focused on…

Computation and Language · Computer Science 2023-03-01 Teven Le Scao , Claire Gardent

Discrete diffusion models have emerged as a powerful class of models and a promising route to fast language generation, but practical implementations typically rely on factored reverse transitions ignoring cross-token dependencies and…

Machine Learning · Computer Science 2026-05-14 Dario Shariatian , Alain Durmus , Umut Simsekli , Stefano Peluchetti

Cognitive modeling commonly relies on asking participants to complete a battery of varied tests in order to estimate attention, working memory, and other latent variables. In many cases, these tests result in highly variable observation…

One of the most popular downstream tasks in the field of Natural Language Processing is text classification. Text classification tasks have become more daunting when the texts are code-mixed. Though they are not exposed to such text during…

Computation and Language · Computer Science 2024-03-15 Md Nishat Raihan , Dhiman Goswami , Antara Mahmud

Dramatic increases in the size and complexity of modern datasets have made traditional "centralized" statistical inference prohibitive. In addition to computational challenges associated with big data learning, the presence of numerous data…

Applications · Statistics 2018-02-27 Scott Bruce , Zeda Li , Hsiang-Chieh Yang , Subhadeep Mukhopadhyay

Compositional Data Analysis (CoDa) has gained popularity in recent years. This type of data consists of values from disjoint categories that sum up to a constant. Both Dirichlet regression and logistic-normal regression have become popular…

Methodology · Statistics 2024-06-25 Joaquín Martínez-Minaya , Haavard Rue

The expression problem describes how most types can easily be extended with new ways to produce the type or new ways to consume the type, but not both. When abstract syntax trees are defined as an algebraic data type, for example, they can…

Programming Languages · Computer Science 2024-03-12 David Binder , Ingo Skupin , Tim Süberkrüb , Klaus Ostermann

Federated Learning (FL) is a promising distributed learning paradigm, which allows a number of data owners (also called clients) to collaboratively learn a shared model without disclosing each client's data. However, FL may fail to proceed…

Machine Learning · Computer Science 2020-11-24 Hong Lin , Lidan Shou , Ke Chen , Gang Chen , Sai Wu

Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to trade consistency for performance. For certain data,…

Programming Languages · Computer Science 2020-11-02 Xin Zhao , Philipp Haller

Annotation corpus for discourse relations benefits NLP tasks such as machine translation and question answering. In this paper, we present SciDTB, a domain-specific discourse treebank annotated on scientific articles. Different from…

Computation and Language · Computer Science 2018-06-12 An Yang , Sujian Li

In the current paper, we propose to fuse together stored data (tables) and their functional dependencies (FDs) inside a DBMS. We aim to make FDs first-class citizens: objects which can be queried and used to query data. Our idea is to allow…

Databases · Computer Science 2020-05-19 Nikita Bobrov , Kirill Smirnov , George Chernishev

The dominating NLP paradigm of training a strong neural predictor to perform one task on a specific dataset has led to state-of-the-art performance in a variety of applications (eg. sentiment classification, span-prediction based question…

Computation and Language · Computer Science 2021-09-06 Paul Michel

Integrating native AI support into the network architecture is an essential objective of 6G. Federated Learning (FL) emerges as a potential paradigm, facilitating decentralized AI model training across a diverse range of devices under the…

Networking and Internet Architecture · Computer Science 2023-09-29 Wenxuan Ye , Chendi Qian , Xueli An , Xueqiang Yan , Georg Carle

We propose a new approach, called cooperative neural networks (CoNN), which uses a set of cooperatively trained neural networks to capture latent representations that exploit prior given independence structure. The model is more flexible…

Machine Learning · Computer Science 2019-06-04 Harsh Shrivastava , Eugene Bart , Bob Price , Hanjun Dai , Bo Dai , Srinivas Aluru

Nested logit (NL) has been commonly used for discrete choice analysis, including a wide range of applications such as travel mode choice, automobile ownership, or location decisions. However, the classical NL models are restricted by their…

Machine Learning · Statistics 2025-09-10 Yuqi Zhou , Zhanhong Cheng , Lingqian Hu , Yuheng Bu , Shenhao Wang

Many web databases can be seen as providing partial and overlapping information about entities in the world. To answer queries effectively, we need to integrate the information about the individual entities that are fragmented over multiple…

Databases · Computer Science 2011-02-01 Ravi Gummadi , Anupam Khulbe , Aravind Kalavagattu , Sanil Salvi , Subbarao Kambhampati

Dynamic latent space models are widely used for characterizing changes in networks and relational data over time. These models assign to each node latent attributes that characterize connectivity with other nodes, with these latent…

Methodology · Statistics 2024-12-13 Jennifer Noelle Kampe , Luca Alessandro Silva , Tomas Roslin , David Brian Dunson