English
Related papers

Related papers: Proteus: A Self-Designing Range Filter

200 papers

This paper proposes Proteus, a protocol state machine, property-guided, and budget-aware automated testing approach for discovering logical vulnerabilities in wireless protocol implementations. Proteus maintains its budget awareness by…

Cryptography and Security · Computer Science 2024-10-04 Syed Md Mukit Rashid , Tianwei Wu , Kai Tu , Abdullah Al Ishtiaq , Ridwanul Hasan Tanvir , Yilu Dong , Omar Chowdhury , Syed Rafiul Hussain

Large language models can extract local causal claims from text, but those claims become more useful when organized as persistent, navigable world models rather than as flat summaries. We introduce PROMETHEUS, a framework that turns…

Artificial Intelligence · Computer Science 2026-05-14 Sridhar Mahadevan

Large language models (LLMs) are increasingly deployed in security-sensitive applications, yet remain vulnerable to backdoor attacks. However, existing backdoor defenses are difficult to operationalize for Backdoor Defense-as-a-Service…

Cryptography and Security · Computer Science 2026-02-09 Chen Chen , Yuchen Sun , Jiaxin Gao , Yanwen Jia , Xueluan Gong , Qian Wang , Kwok-Yan Lam

Remote sensing image segmentation (RSIS) in federated environments has gained increasing attention because it enables collaborative model training across distributed datasets without sharing raw imagery or annotations. Federated RSIS…

Computer Vision and Pattern Recognition · Computer Science 2026-03-10 Xiaokang Zhang , Xuran Xiong , Jianzhong Huang , Lefei Zhang

Large-scale pre-trained language models have achieved impressive results on a wide range of downstream tasks recently. However, fine-tuning an extremely large-scale pre-trained language model on limited target datasets is often plagued by…

Computation and Language · Computer Science 2022-11-04 Haojie Zhang , Ge Li , Jia Li , Zhongjin Zhang , Yuqi Zhu , Zhi Jin

Customized accelerators have revolutionized modern computing by delivering substantial gains in energy efficiency and performance through hardware specialization. Field-Programmable Gate Arrays (FPGAs) play a crucial role in this paradigm,…

Hardware Architecture · Computer Science 2025-09-25 Stéphane Pouget , Michael Lo , Louis-Noël Pouchet , Jason Cong

Text image super-resolution (Text-SR) requires more than visually plausible detail synthesis: slight errors in stroke topology may alter character identity and break readability. Existing methods improve text fidelity with stronger…

Computer Vision and Pattern Recognition · Computer Science 2026-05-14 Zihang Xu , Xiaoyang Liu , Zheng Chen , Yulun Zhang , Xiaokang Yang

The invention of transformer-based models such as BERT, GPT, and RoBERTa has enabled researchers and financial companies to finetune these powerful models and use them in different downstream tasks to achieve state-of-the-art performance.…

Computation and Language · Computer Science 2022-11-11 Sudhandar Balakrishnan , Yihao Fang , Xioadan Zhu

Parameter-Efficient finetuning (PEFT) enhances model performance on downstream tasks by updating a minimal subset of parameters. Representation finetuning (ReFT) methods further improve efficiency by freezing model weights and optimizing…

Machine Learning · Computer Science 2025-11-17 Sirui Liang , Pengfei Cao , Jian Zhao , Cong Huang , Jun Zhao , Kang Liu

Recent alignment algorithms such as direct preference optimization (DPO) have been developed to improve the safety of large language models (LLMs) by training these models to match human behaviors exemplified by preference data. However,…

Computation and Language · Computer Science 2025-03-04 Rheeya Uppaal , Apratim Dey , Yiting He , Yiqiao Zhong , Junjie Hu

Counterfactual learning to rank (CLTR) can be risky and, in various circumstances, can produce sub-optimal models that hurt performance when deployed. Safe CLTR was introduced to mitigate these risks when using inverse propensity scoring to…

Machine Learning · Computer Science 2024-08-08 Shashank Gupta , Harrie Oosterhuis , Maarten de Rijke

In this paper we address the problem of matching patterns in the so-called verification setting in which a novel, query pattern is verified against a single training pattern: the decision sought is whether the two match (i.e. belong to the…

Computer Vision and Pattern Recognition · Computer Science 2014-07-07 Ognjen Arandjelovic

In this paper, we move towards combining large parametric models with non-parametric prototypical networks. We propose prototypical fine-tuning, a novel prototypical framework for fine-tuning pretrained language models (LM), which…

Computation and Language · Computer Science 2022-11-28 Yiqiao Jin , Xiting Wang , Yaru Hao , Yizhou Sun , Xing Xie

Person retrieval has attracted rising attention. Existing methods are mainly divided into two retrieval modes, namely image-only and text-only. However, they are unable to make full use of the available information and are difficult to meet…

Computer Vision and Pattern Recognition · Computer Science 2025-05-21 Delong Liu , Haiwen Li , Zhaohui Hou , Zhicheng Zhao , Fei Su , Yuan Dong

Offline imitation learning (offline IL) enables training effective policies without requiring explicit reward annotations. Recent approaches attempt to estimate rewards for unlabeled datasets using a small set of expert demonstrations.…

Machine Learning · Computer Science 2025-11-19 Shengjie Sun , Jiafei Lyu , Runze Liu , Mengbei Yan , Bo Liu , Deheng Ye , Xiu Li

The success of large language models (LLMs) has attracted many individuals to fine-tune them for domain-specific tasks by uploading their data. However, in sensitive areas like healthcare and finance, privacy concerns often arise. One…

Cryptography and Security · Computer Science 2025-09-03 Jianwei Wang , Chengming Shi , Junyao Yang , Haoran Li , Qianli Ma , Huiping Zhuang , Cen Chen , Ziqian Zeng

Agent skills extend LLM agents with reusable instructions, tool interfaces, and executable code, and users increasingly install third-party skills from marketplaces, repositories, and community channels. Because a skill exposes both…

Cryptography and Security · Computer Science 2026-05-13 Zhaojiacheng Zhou

In decision-making under uncertainty, Contextual Robust Optimization (CRO) provides reliability by minimizing the worst-case decision loss over a prediction set. While recent advances use conformal prediction to construct prediction sets…

Machine Learning · Statistics 2025-12-25 Yajie Bao , Yang Hu , Haojie Ren , Peng Zhao , Changliang Zou

With promising empirical performance across a wide range of applications, synthetic data augmentation appears a viable solution to data scarcity and the demands of increasingly data-intensive models. Its effectiveness lies in expanding the…

Machine Learning · Computer Science 2026-02-02 Zixuan Wu , So Won Jeong , Yating Liu , Yeo Jin Jung , Claire Donnat

Optimising deep learning inference across edge devices and optimisation targets such as inference time, memory footprint and power consumption is a key challenge due to the ubiquity of neural networks. Today, production deep learning…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-05 Perry Gibson , José Cano