English
Related papers

Related papers: Developing a Self-Explanatory Transformer

200 papers

Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in…

Artificial Intelligence · Computer Science 2025-12-16 Agnieszka Mensfelt , David Tena Cucala , Santiago Franco , Angeliki Koutsoukou-Argyraki , Vince Trencsenyi , Kostas Stathis

The rise of hardware-level security threats, such as side-channel attacks, hardware Trojans, and firmware vulnerabilities, demands advanced detection mechanisms that are more intelligent and adaptive. Traditional methods often fall short in…

Cryptography and Security · Computer Science 2025-05-29 Banafsheh Saber Latibari , Najmeh Nazari , Avesta Sasan , Houman Homayoun , Pratik Satam , Soheil Salehi , Hossein Sayadi

In today's typical industrial environments, the computation of the data distribution schedules is highly centralised. Typically, a central entity configures the data forwarding paths so as to guarantee low delivery delays between data…

Networking and Internet Architecture · Computer Science 2019-01-29 Theofanis P. Raptis , Andrea Passarella , Marco Conti

The design and development process for Internet of Things (IoT) applications is more complicated than for desktop, mobile, or web applications. IoT applications require both software and hardware to work together across multiple different…

Software Engineering · Computer Science 2020-12-01 Charith Perera , Mahmoud Barhamgi , Massimo Vecchio

Internet of Things (IoT) applications combine sensing, wireless communication, intelligence, and actuation, enabling the interaction among heterogeneous devices that collect and process considerable amounts of data. However, the…

Wireless communication has evolved significantly, with 6G offering groundbreaking capabilities, particularly for IoT. However, the integration of IoT into 6G presents new security challenges, expanding the attack surface due to…

Cryptography and Security · Computer Science 2024-12-25 Navneet Kaur , Lav Gupta

The Internet of Things (IoT) envisions the integration of physical objects into software systems for automating crucial aspects of our lives, such as healthcare, security, agriculture, and city management. Although the vision is promising,…

Software Engineering · Computer Science 2021-06-17 Damian Arellanes

Scaling transformers has led to significant breakthroughs in many domains, leading to a paradigm in which larger versions of existing models are trained and released on a periodic basis. New instances of such models are typically trained…

The proliferation of smart home devices has increased the complexity of controlling and managing them, leading to user fatigue. In this context, large language models (LLMs) offer a promising solution by enabling natural-language interfaces…

Human-Computer Interaction · Computer Science 2026-01-09 Chaerin Yu , Chihun Choi , Sunjae Lee , Hyosu Kim , Steven Y. Ko , Young-Bae Ko , Sangeun Oh

Internet-of-Things (IoT) envisions an intelligent infrastructure of networked smart devices offering task-specific monitoring and control services. The unique features of IoT include extreme heterogeneity, massive number of devices, and…

Systems and Control · Computer Science 2018-10-30 Tianyi Chen , Sergio Barbarossa , Xin Wang , Georgios B. Giannakis , Zhi-Li Zhang

The Internet of Things (IoT) will be a main data generation infrastructure for achieving better system intelligence. This paper considers the design and implementation of a practical privacy-preserving collaborative learning scheme, in…

Networking and Internet Architecture · Computer Science 2020-06-30 Linshan Jiang , Rui Tan , Arvind Easwaran

Robotic Process Automation (RPA) is a technology for automating repetitive routines consisting of sequences of user interactions with one or more applications. In order to fully exploit the opportunities opened by RPA, companies need to…

Artificial Intelligence · Computer Science 2020-01-07 Volodymyr Leno , Marlon Dumas , Marcello La Rosa , Fabrizio Maria Maggi , Artem Polyvyanyy

Feature engineering is the process of using domain knowledge to extract features from raw data via data mining techniques and is a key step to improve the performance of machine learning algorithms. In the multi-party feature engineering…

Machine Learning · Computer Science 2020-09-08 Pei Fang , Zhendong Cai , Hui Chen , QingJiang Shi

Feature transformation aims to extract a good representation (feature) space by mathematically transforming existing features. It is crucial to address the curse of dimensionality, enhance model generalization, overcome data sparsity, and…

Machine Learning · Computer Science 2022-12-26 Meng Xiao , Dongjie Wang , Min Wu , Kunpeng Liu , Hui Xiong , Yuanchun Zhou , Yanjie Fu

Recent breakthroughs in ML have produced new classes of models that allow ML inference to run directly on milliwatt-powered IoT devices. On one hand, existing ML-to-FPGA compilers are designed for deep neural-networks on large FPGAs. On the…

Hardware Architecture · Computer Science 2021-07-09 Nikhil Pratap Ghanathe , Vivek Seshadri , Rahul Sharma , Steve Wilton , Aayan Kumar

The number of IoT devices is expected to continue its dramatic growth in the coming years and, with it, a growth in the amount of data to be transmitted, processed and stored. Compression techniques that support analytics directly on the…

Data Structures and Algorithms · Computer Science 2023-08-29 Francesco Taurone , Daniel E. Lucani , Marcell Fehér , Qi Zhang

Tree-based speculative decoding accelerates autoregressive generation by verifying a branching tree of draft tokens in a single target-model forward pass. However, existing methods prioritize maximizing token-level likelihood or the number…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-14 Lifu Wang , Pan Zhou

The IoT (Internet of Things) technology has been widely adopted in recent years and has profoundly changed the people's daily lives. However, in the meantime, such a fast-growing technology has also introduced new privacy issues, which need…

Cryptography and Security · Computer Science 2019-09-04 Shuaike Dong , Zhou Li , Di Tang , Jiongyi Chen , Menghan Sun , Kehuan Zhang

The novel Internet of Things (IoT) paradigm is composed of a growing number of heterogeneous smart objects and services that are transforming architectures and applications, increasing systems' complexity, and the need for reliability and…

Cryptography and Security · Computer Science 2024-08-27 Marco Arazzi , Serena Nicolazzo , Antonino Nocera

We present POTATO, a task- and languageindependent framework for human-in-the-loop (HITL) learning of rule-based text classifiers using graph-based features. POTATO handles any type of directed graph and supports parsing text into Abstract…

Computation and Language · Computer Science 2022-10-18 Ádám Kovács , Kinga Gémes , Eszter Iklódi , Gábor Recski