Image de couverture de livre

Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lymperopoulos, Panagiotis, Liu, Liping
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
par: Ielo, Antonio, et autres
Publié: (2024)

Relabeling Minimal Training Subset to Flip a Prediction
par: Yang, Jinghan, et autres
Publié: (2023)

Maximum Redundancy Pruning: A Principle-Driven Layerwise Sparsity Allocation for LLMs
par: Gao, Chang, et autres
Publié: (2025)

PruneGCRN: Minimizing and explaining spatio-temporal problems through node pruning
par: García-Sigüenza, Javier, et autres
Publié: (2025)

Heterogeneous Graph Prompt Learning via Adaptive Weight Pruning
par: Wei, Chu-Yuan, et autres
Publié: (2025)

Tools in the Loop: Quantifying Uncertainty of LLM Question Answering Systems That Use Tools
par: Lymperopoulos, Panagiotis, et autres
Publié: (2025)

Uncovering Capabilities of Model Pruning in Graph Contrastive Learning
par: Wu, Junran, et autres
Publié: (2024)

Multi-View Node Pruning for Accurate Graph Representation
par: Kim, Hanjin, et autres
Publié: (2025)

Sequential Enumeration in Large Language Models
par: Hou, Kuinan, et autres
Publié: (2025)

Balanced Edge Pruning for Graph Anomaly Detection with Noisy Labels
par: Wang, Zhu, et autres
Publié: (2024)

Pruning for Generalization: A Transfer-Oriented Spatiotemporal Graph Framework
par: Jing, Zihao, et autres
Publié: (2026)

DataS^3: Dataset Subset Selection for Specialization
par: Hulkund, Neha, et autres
Publié: (2025)

Beyond One-Way Pruning: Bidirectional Pruning-Regrowth for Extreme Accuracy-Sparsity Tradeoff
par: Liu, Junchen, et autres
Publié: (2025)

Exploring Energy Landscapes for Minimal Counterfactual Explanations: Applications in Cybersecurity and Beyond
par: Evangelatos, Spyridon, et autres
Publié: (2025)

Spectral Theory for Edge Pruning in Asynchronous Recurrent Graph Neural Networks
par: Bessone, Nicolas
Publié: (2025)

Hierarchical Attention-based Graph Neural Network with Relevance-driven Pruning
par: Kum, Seungwoo
Publié: (2026)

SIMPLE: A Gradient Estimator for $k$-Subset Sampling
par: Ahmed, Kareem, et autres
Publié: (2022)

Bandit Guided Submodular Curriculum for Adaptive Subset Selection
par: Chanda, Prateek, et autres
Publié: (2025)

SwiftPrune: Hessian-Free Weight Pruning for Large Language Models
par: Kang, Yuhan, et autres
Publié: (2025)

LLM-Rank: A Graph Theoretical Approach to Pruning Large Language Models
par: Hoffmann, David, et autres
Publié: (2024)

Resource-Aware Neural Network Pruning Using Graph-based Reinforcement Learning
par: Balemans, Dieter, et autres
Publié: (2025)

Fast and Exact Enumeration of Deep Networks Partitions Regions
par: Balestriero, Randall, et autres
Publié: (2024)

PruneSymNet: A Symbolic Neural Network and Pruning Algorithm for Symbolic Regression
par: Wu, Min, et autres
Publié: (2024)

STRIDE: Subset-Free Functional Decomposition for XAI in Tabular Settings
par: Ko, Chaeyun
Publié: (2025)

Generative Risk Minimization for Out-of-Distribution Generalization on Graphs
par: Wang, Song, et autres
Publié: (2025)

A Dynamical Systems-Inspired Pruning Strategy for Addressing Oversmoothing in Graph Neural Networks
par: Chakraborty, Biswadeep, et autres
Publié: (2024)

SNAP: Sequential Non-Ancestor Pruning for Targeted Causal Effect Estimation With an Unknown Graph
par: Schubert, Mátyás, et autres
Publié: (2025)

Sparsest Models Elude Pruning: An Exposé of Pruning's Current Capabilities
par: Zhang, Stephen, et autres
Publié: (2024)

You Only Train Once: Differentiable Subset Selection for Omics Data
par: Chopard, Daphné, et autres
Publié: (2025)

Scales++: Compute Efficient Evaluation Subset Selection with Cognitive Scales Embeddings
par: Bean, Andrew M., et autres
Publié: (2025)

Enhanced Pruning Strategy for Multi-Component Neural Architectures Using Component-Aware Graph Analysis
par: Sundaram, Ganesh, et autres
Publié: (2025)

Meta Pruning via Graph Metanetworks : A Universal Meta Learning Framework for Network Pruning
par: Liu, Yewei, et autres
Publié: (2025)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
par: Marzari, Luca, et autres
Publié: (2023)

EMP: Enhance Memory in Data Pruning
par: Xiao, Jinying, et autres
Publié: (2024)

RAP: Runtime Adaptive Pruning for LLM Inference
par: Liu, Huanrong, et autres
Publié: (2025)

Class-based Subset Selection for Transfer Learning under Extreme Label Shift
par: Goyal, Akul, et autres
Publié: (2024)

Selecting Subsets of Source Data for Transfer Learning with Applications in Metal Additive Manufacturing
par: Tang, Yifan, et autres
Publié: (2024)

Feature Subset Weighting for Distance-based Supervised Learning through Choquet Integration
par: Theerens, Adnan, et autres
Publié: (2025)

PrunePEFT: Iterative Hybrid Pruning for Parameter-Efficient Fine-tuning of LLMs
par: Yu, Tongzhou, et autres
Publié: (2025)

IPPRO: Importance-based Pruning with PRojective Offset for Magnitude-indifferent Structural Pruning
par: Jung, Jaeheun, et autres
Publié: (2025)