English
Related papers

Related papers: Real Differences between OT and CRDT for Co-Editor…

200 papers

Standard evaluation protocols in robotic manipulation typically assess policy performance over curated, in-distribution test sets, offering limited insight into how systems fail under plausible variation. We introduce Geometric Red-Teaming…

Robotics · Computer Science 2025-09-17 Divyam Goel , Yufei Wang , Tiancheng Wu , Guixiu Qiao , Pavel Piliptchak , David Held , Zackory Erickson

In education applications, knowledge tracing refers to the problem of estimating students' time-varying concept/skill mastery level from their past responses to questions and predicting their future performance. One key limitation of most…

Computers and Society · Computer Science 2023-03-22 Naiming Liu , Zichao Wang , Richard G. Baraniuk , Andrew Lan

Many applications model their data in a general-purpose storage format such as JSON. This data structure is modified by the application as a result of user input. Such modifications are well understood if performed sequentially on a single…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-16 Martin Kleppmann , Alastair R. Beresford

This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of…

Logic in Computer Science · Computer Science 2016-06-29 Lars Birkedal , Aleš Bizjak , Ranald Clouston , Hans Bugge Grathwohl , Bas Spitters , Andrea Vezzosi

Finding effective representations for time series data is a useful but challenging task. Several works utilize self-supervised or unsupervised learning methods to address this. However, there still remains the open question of how to…

Machine Learning · Computer Science 2024-03-19 Yuansan Liu , Sudanthi Wijewickrema , Christofer Bester , Stephen O'Leary , James Bailey

This work introduces a relative diffusion transformation (RDT) - a simple unitary transformation which acts in a subspace, localized by an oracle. Such a transformation can not be fulfilled on quantum Turing machines with this oracle in…

Quantum Physics · Physics 2008-02-03 Yuri Ozhigov

Multiple Object Tracking (MOT) has gained increasing attention due to its academic and commercial potential. Although different approaches have been proposed to tackle this problem, it still remains challenging due to factors like abrupt…

Computer Vision and Pattern Recognition · Computer Science 2022-02-14 Wenhan Luo , Junliang Xing , Anton Milan , Xiaoqin Zhang , Wei Liu , Tae-Kyun Kim

Given a language model (LM), maximum probability is a poor decoding objective for open-ended generation, because it produces short and repetitive text. On the other hand, sampling can often produce incoherent text that drifts from the…

Computation and Language · Computer Science 2023-07-13 Xiang Lisa Li , Ari Holtzman , Daniel Fried , Percy Liang , Jason Eisner , Tatsunori Hashimoto , Luke Zettlemoyer , Mike Lewis

Surgery is the only viable treatment for cataract patients with visual acuity (VA) impairment. Clinically, to assess the necessity of cataract surgery, accurately predicting postoperative VA before surgery by analyzing multi-view optical…

Image and Video Processing · Electrical Eng. & Systems 2022-12-13 Jinhong Wang , Jingwen Wang , Tingting Chen , Wenhao Zheng , Zhe Xu , Xingdi Wu , Wen Xu , Haochao Ying , Danny Chen , Jian Wu

This paper presents a generalized flux-corrected transport (FCT) algorithm, which is shown to be total variation diminishing under some conditions. The new algorithm has improved properties from the standpoint of use and analysis. Results…

Computational Physics · Physics 2024-11-20 William J Rider , Dennis R Liles

Transfer learning has become a popular task adaptation method in the era of foundation models. However, many foundation models require large storage and computing resources, which makes off-the-shelf deployment impractical. Post-training…

Computer Vision and Pattern Recognition · Computer Science 2023-07-11 Jung Hwan Heo , Seyedarmin Azizi , Arash Fayyazi , Massoud Pedram

Learning policy from offline datasets through offline reinforcement learning (RL) holds promise for scaling data-driven decision-making while avoiding unsafe and costly online interactions. However, real-world data collected from sensors or…

Machine Learning · Computer Science 2025-03-04 Jiawei Xu , Rui Yang , Shuang Qiu , Feng Luo , Meng Fang , Baoxiang Wang , Lei Han

Concept Relation Discovery and Innovation Enabling Technology (CORDIET), is a toolbox for gaining new knowledge from unstructured text data. At the core of CORDIET is the C-K theory which captures the essential elements of innovation. The…

Artificial Intelligence · Computer Science 2013-12-03 Jonas Poelmans , Paul Elzinga , Alexey Neznanov , Stijn Viaene , Sergei O. Kuznetsov , Dmitry Ignatov , Guido Dedene

Generating Chain-of-Thought (CoT) before deriving the answer can effectively improve the reasoning capabilities of large language models (LLMs) and significantly improve the accuracy of the generated answer. However, in most cases, the…

Computation and Language · Computer Science 2024-12-17 Yu Kang , Xianghui Sun , Liangyu Chen , Wei Zou

Chain-of-Thought (CoT) has become a vital technique for enhancing the performance of Large Language Models (LLMs), attracting increasing attention from researchers. One stream of approaches focuses on the iterative enhancement of LLMs by…

Computation and Language · Computer Science 2024-10-08 Yongheng Zhang , Qiguang Chen , Jingxuan Zhou , Peng Wang , Jiasheng Si , Jin Wang , Wenpeng Lu , Libo Qin

On-policy distillation (OPD) is a standard tool for transferring teacher behavior to a smaller student, but it implicitly assumes that teacher and student predictions are comparable token by token, an assumption that fails whenever the two…

Computation and Language · Computer Science 2026-05-22 Jie Sun , Mao Zheng , Mingyang Song , Qiyong Zhong , Yilin Cheng , Bichuan Feng , Pengfei Liu , Junfeng Fang , Xiang Wang

Generalization to novel compound tasks under distribution shift is important for deploying transformer-based language models (LMs). This work investigates Chain-of-Thought (CoT) reasoning as a means to enhance OOD generalization. Through…

Computation and Language · Computer Science 2026-03-31 Ru Wang , Wei Huang , Selena Song , Haoyu Zhang , Qian Niu , Yusuke Iwasawa , Yutaka Matsuo , Jiaxian Guo

Digitization of historical documents is a challenging task in many digital humanities projects. A popular approach for digitization is to scan the documents into images, and then convert images into text using Optical Character Recognition…

Human-Computer Interaction · Computer Science 2023-08-01 Omri Suissa , Avshalom Elmalech , Maayan Zhitomirsky-Geffet

Optical link tomography (OLT) is a rapidly evolving field that allows the multi-span, end-to-end visualization of optical power along fiber links in multiple dimensions from network endpoints, solely by processing signals received at…

Optical coherence tomography (OCT) uses low-coherence reflectometry to obtain cross-sectional images of inhomogeneous media, such as biological tissue. OCT is particularly useful in the biomedical ea, since the imaging can be performed…

Medical Physics · Physics 2018-03-01 Takahisa Mitsui , Kenichiro Aoki