English
Related papers

Related papers: ANOSY: Approximated Knowledge Synthesis with Refin…

200 papers

A key task in Artificial Intelligence is learning effective policies for controlling agents in unknown environments to optimize performance measures. Off-policy learning methods, like Q-learning, allow learners to make optimal decisions…

Artificial Intelligence · Computer Science 2025-09-10 Mingxuan Li , Junzhe Zhang , Elias Bareinboim

We propose a data cleansing method that utilizes a neural analysis and synthesis (NANSY++) framework to train an end-to-end neural diarization model (EEND) for singer diarization. Our proposed model converts song data with choral singing…

Audio and Speech Processing · Electrical Eng. & Systems 2024-06-25 Hokuto Munakata , Ryo Terashima , Yusuke Fujita

We propose a novel type system for verifying that programs correctly implement constant-resource behavior. Our type system extends recent work on automatic amortized resource analysis (AARA), a set of techniques that automatically derive…

Programming Languages · Computer Science 2018-01-09 Van Chan Ngo , Mario Dehesa-Azuara , Matthew Fredrikson , Jan Hoffmann

Network quantization is an essential procedure in deep learning for development of efficient fixed-point inference models on mobile or edge platforms. However, as datasets grow larger and privacy regulations become stricter, data sharing…

Computer Vision and Pattern Recognition · Computer Science 2020-05-11 Yoojin Choi , Jihwan Choi , Mostafa El-Khamy , Jungwon Lee

Autonomous agents are increasingly entrusted with complex, long-horizon tasks, ranging from mathematical reasoning to software generation. While agentic workflows facilitate these tasks by decomposing them into multi-step reasoning chains,…

Artificial Intelligence · Computer Science 2026-03-03 Yandong Yan , Junwei Peng , Shijie Li , Chenxi Li , Yifei Shang , Can Deng , Ruiting Dai , Yongqiang Zhao , Jiaqi Zhu , Yu Huang

Optional type annotations allow for enriching dynamic programming languages with static typing features like better Integrated Development Environment (IDE) support, more precise program analysis, and early detection and prevention of…

Software Engineering · Computer Science 2023-07-31 Bernd Gruner , Tim Sonnekalb , Thomas S. Heinze , Clemens-Alexander Brust

Detecting non-factual content is a longstanding goal to increase the trustworthiness of large language models (LLMs) generations. Current factuality probes, trained using humanannotated labels, exhibit limited transferability to…

Computation and Language · Computer Science 2024-04-11 Xiaokang Zhang , Zijun Yao , Jing Zhang , Kaifeng Yun , Jifan Yu , Juanzi Li , Jie Tang

In disentangled representation learning, a model is asked to tease apart a dataset's underlying sources of variation and represent them independently of one another. Since the model is provided with no ground truth information about these…

Machine Learning · Computer Science 2023-10-24 Kyle Hsu , Will Dorrell , James C. R. Whittington , Jiajun Wu , Chelsea Finn

Protecting confidential data from leaking is a critical challenge in computer systems, particularly given the growing number of observers on the internet. Therefore, limiting information flow using robust security policies becomes…

A privacy policy is a document that states how a company intends to handle and manage their customers' personal data. One of the problems that arises with these privacy policies is that their content might violate data privacy regulations.…

Computation and Language · Computer Science 2022-04-06 Amin Rabinia , Zane Nygaard

In realistic speech enhancement settings for end-user devices, we often encounter only a few speakers and noise types that tend to reoccur in the specific acoustic environment. We propose a novel personalized speech enhancement method to…

Audio and Speech Processing · Electrical Eng. & Systems 2021-05-11 Sunwoo Kim , Minje Kim

Modern deep learning models require immense computational resources, motivating research into low-precision training. Quantised training addresses this by representing training components in low-bit integers, but typically relies on…

Machine Learning · Computer Science 2025-12-08 Paul Wilson , Fabio Zanasi , George Constantinides

Speech models are often trained on sensitive data in order to improve model performance, leading to potential privacy leakage. Our work considers noise masking attacks, introduced by Amid et al. 2022, which attack automatic speech…

Machine Learning · Computer Science 2024-04-03 Matthew Jagielski , Om Thakkar , Lun Wang

This article introduces an imitation learning method for learning maximum entropy policies that comply with constraints demonstrated by expert trajectories executing a task. The formulation of the method takes advantage of results…

Machine Learning · Computer Science 2025-07-10 George Papadopoulos , George A. Vouros

In the Data-Centric Artificial Intelligence (AI) paradigm, improving data quality is essential for robust machine learning. However, many denoising methods rely on rigid statistical assumptions or require clean reference data, which limits…

Artificial Intelligence · Computer Science 2026-04-28 J. Javier Alonso-Ramos , Ignacio Aguilera-Martos , Francisco Herrera , Andrés Herrera-Poyatos

Software obfuscation is a crucial technology to protect intellectual property and manage digital rights within our society. Despite its huge practical importance, both commercial and academic state-of-the-art obfuscation methods are…

Cryptography and Security · Computer Science 2022-06-22 Moritz Schloegel , Tim Blazytko , Moritz Contag , Cornelius Aschermann , Julius Basler , Thorsten Holz , Ali Abbasi

Accessing sensitive patient data for machine learning is challenging due to privacy concerns. Datasets with annotations of personally identifiable information are crucial for developing and testing anonymization systems to enable safe data…

Computation and Language · Computer Science 2026-03-17 Ibrahim Baroud , Christoph Otto , Vera Czehmann , Christine Hovhannisyan , Lisa Raithel , Sebastian Möller , Roland Roller

In this paper, we propose SCANING, an unsupervised framework for paraphrasing via controlled noise injection. We focus on the novel task of paraphrasing algebraic word problems having practical applications in online pedagogy as a means to…

Computation and Language · Computer Science 2023-02-07 Rishabh Gupta , Venktesh V. , Mukesh Mohania , Vikram Goyal

We propose a new technique based on program synthesis for automatically generating visualizations from natural language queries. Our method parses the natural language query into a refinement type specification using the intents-and-slots…

Programming Languages · Computer Science 2022-09-05 Qiaochu Chen , Shankara Pailoor , Celeste Barnaby , Abby Criswell , Chenglong Wang , Greg Durrett , Isil Dillig

Discovering fine-grained categories from coarsely labeled data is a practical and challenging task, which can bridge the gap between the demand for fine-grained analysis and the high annotation cost. Previous works mainly focus on…

Machine Learning · Computer Science 2023-10-17 Wenbin An , Feng Tian , Wenkai Shi , Yan Chen , Qinghua Zheng , QianYing Wang , Ping Chen