English
Related papers

Related papers: AutoPruner: Transformer-Based Call Graph Pruning

200 papers

Recent advances in Artificial Intelligence (AI) on the Internet of Things (IoT)-enabled network edge has realized edge intelligence in several applications such as smart agriculture, smart hospitals, and smart factories by enabling…

Machine Learning · Computer Science 2024-01-18 Muhammad Zawish , Steven Davy , Lizy Abraham

Many fixed-parameter tractable algorithms using a bounded search tree have been repeatedly improved, often by describing a larger number of branching rules involving an increasingly complex case analysis. We introduce a novel and general…

Discrete Mathematics · Computer Science 2015-05-19 James Nastos , Yong Gao

Auto-formalization (AF) translates natural-language reasoning problems into solver-executable programs, enabling symbolic solvers to perform sound logical deduction. In practice, however, AF pipelines are currently brittle: programs may…

Artificial Intelligence · Computer Science 2026-03-30 Zhiyu Ni , Zheng Liang , Liangcheng Song , Chenrui Cao , Xian Zhang , Alberto Sangiovanni-Vincentelli , Pierluigi Nuzzo

With growing emphasis on privacy regulations, machine unlearning has become increasingly critical in real-world applications such as social networks and recommender systems, many of which are naturally represented as graphs. However,…

Machine Learning · Computer Science 2026-01-19 Ziheng Chen , Jiali Cheng , Hadi Amiri , Kaushiki Nag , Lu Lin , Sijia Liu , Xiangguo Sun , Gabriele Tolomei

Deep neural networks (DNNs) often have to be compressed, via pruning and/or quantization, before they can be deployed in practical settings. In this work we propose a new compression-aware minimizer dubbed CrAM that modifies the…

Machine Learning · Computer Science 2023-05-05 Alexandra Peste , Adrian Vladu , Eldar Kurtic , Christoph H. Lampert , Dan Alistarh

Graph contrastive learning has achieved great success in pre-training graph neural networks without ground-truth labels. Leading graph contrastive learning follows the classical scheme of contrastive learning, forcing model to identify the…

Machine Learning · Computer Science 2024-12-12 Junran Wu , Xueyuan Chen , Shangzhe Li

Deep learning algorithms are increasingly employed at the edge. However, edge devices are resource constrained and thus require efficient deployment of deep neural networks. Pruning methods are a key tool for edge deployment as they can…

Computer Vision and Pattern Recognition · Computer Science 2023-08-01 Yunqiang Li , Jan C. van Gemert , Torsten Hoefler , Bert Moons , Evangelos Eleftheriou , Bram-Ernst Verhoef

Large Language Model (LLM) based multi-agent systems have shown remarkable performance in various tasks, especially when enhanced through collaborative communication. However, current methods often rely on a fixed number of agents and…

Computation and Language · Computer Science 2025-07-24 Boyi Li , Zhonghan Zhao , Der-Horng Lee , Gaoang Wang

Graph In-Context Learning, with the ability to adapt pre-trained graph models to novel and diverse downstream graphs without updating any parameters, has gained much attention in the community. The key to graph in-context learning is to…

Machine Learning · Computer Science 2025-05-06 Rui Lv , Zaixi Zhang , Kai Zhang , Qi Liu , Weibo Gao , Jiawei Liu , Jiaxia Yan , Linan Yue , Fangzhou Yao

Recent advances in AI-powered image editing tools have significantly lowered the barrier to image modification, raising pressing security concerns those related to spreading misinformation and disinformation on social platforms. Image…

Image and Video Processing · Electrical Eng. & Systems 2024-08-27 Keyang Zhang , Chenqi Kong , Shiqi Wang , Anderson Rocha , Haoliang Li

Tensor program tuning is essential for the efficient deployment of deep neural networks. Search-based approaches have demonstrated scalability and effectiveness in automatically finding high-performance programs for specific hardware.…

Machine Learning · Computer Science 2025-04-10 Liang Qiao , Jun Shi , Xiaoyu Hao , Xi Fang , Sen Zhang , Minfan Zhao , Ziqi Zhu , Junshi Chen , Hong An , Xulong Tang , Bing Li , Honghui Yuan , Xinyang Wang

Structured pruning compresses neural networks by reducing channels (filters) for fast inference and low footprint at run-time. To restore accuracy after pruning, fine-tuning is usually applied to pruned networks. However, too few remaining…

Computer Vision and Pattern Recognition · Computer Science 2024-01-01 Yu Qian , Jian Cao , Xiaoshuang Li , Jie Zhang , Hufei Li , Jue Chen

The prevalence of large-scale graphs poses great challenges in time and storage for training and deploying graph neural networks (GNNs). Several recent works have explored solutions for pruning the large original graph into a small and…

Machine Learning · Computer Science 2023-05-19 Jintang Li , Sheng Tian , Ruofan Wu , Liang Zhu , Welong Zhao , Changhua Meng , Liang Chen , Zibin Zheng , Hongzhi Yin

Training advanced machine learning models demands massive datasets, resulting in prohibitive computational costs. To address this challenge, data pruning techniques identify and remove redundant training samples while preserving model…

Machine Learning · Computer Science 2025-06-23 Sebastian Schmidt , Prasanga Dhungel , Christoffer Löffler , Björn Nieth , Stephan Günnemann , Leo Schwinn

Artificial neural network pruning is a method in which artificial neural network sizes can be reduced while attempting to preserve the predicting capabilities of the network. This is done to make the model smaller or faster during inference…

Machine Learning · Computer Science 2025-05-21 Alexandre Broggi , Nathaniel Bastian , Lance Fiondella , Gokhan Kul

System identification is normally involved in augmenting time series data by time shifting and nonlinearisation (e.g., polynomial basis), both of which introduce redundancy in features and samples. Many research works focus on reducing…

Machine Learning · Computer Science 2025-09-05 Tingna Wang , Sikai Zhang , Mingming Song , Limin Sun

Sound correspondence patterns form the basis of cognate detection and phonological reconstruction in historical language comparison. Methods for the automatic inference of correspondence patterns from phonetically aligned cognate sets have…

Computation and Language · Computer Science 2025-12-09 Frederic Blum , Johann-Mattis List

Pre-trained graph models (PGMs) aim to capture transferable inherent structural properties and apply them to different downstream tasks. Similar to pre-trained language models, PGMs also inherit biases from human society, resulting in…

Machine Learning · Computer Science 2024-02-21 Zhongjian Zhang , Mengmei Zhang , Yue Yu , Cheng Yang , Jiawei Liu , Chuan Shi

Interprocedural analysis refers to gathering information about the entire program rather than for a single procedure only, as in intraprocedural analysis. Interprocedural analysis enables a more precise analysis; however, it is complicated…

Programming Languages · Computer Science 2021-05-10 Aharon Abadi , Bar Makovitzki , Ron Shemer , Shmuel Tyszberowicz

Model-based parser generators decouple language specification from language processing. The model-driven approach avoids the limitations that conventional parser generators impose on the language designer. Conventional tools require the…

Programming Languages · Computer Science 2012-03-01 Luis Quesada , Fernando Berzal , Juan-Carlos Cubero
‹ Prev 1 4 5 6 7 8 10 Next ›