Buchumschlag

The Lottery LLM Hypothesis, Rethinking What Abilities Should LLM Compression Preserve?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tang, Zhenheng, Liu, Xiang, Wang, Qian, Dong, Peijie, He, Bingsheng, Chu, Xiaowen, Li, Bo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence Computation and Language Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
von: Yang, Dong, et al.
Veröffentlicht: (2024)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

Efficient Learning of Weak Deterministic Büchi Automata
von: Alluwayma, Mona, et al.
Veröffentlicht: (2025)

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
von: Yang, Yunhao, et al.
Veröffentlicht: (2025)

Resolving Nondeterminism by Chance
von: Paul, Soumyajit, et al.
Veröffentlicht: (2025)

Non-interference analysis of bounded labeled Petri nets
von: Ran, Ning, et al.
Veröffentlicht: (2025)

Automata-based constraints for language model decoding
von: Koo, Terry, et al.
Veröffentlicht: (2024)

MSO-Enumeration Over SLP-Compressed Unranked Forests
von: Lohrey, Markus, et al.
Veröffentlicht: (2024)

Structural Abstraction and Refinement for Probabilistic Programs
von: Li, Guanyan, et al.
Veröffentlicht: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
von: Suresh, Tarun, et al.
Veröffentlicht: (2025)

Multihead Finite-State Compression
von: Lutz, Neil
Veröffentlicht: (2025)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
von: Fang, Yue, et al.
Veröffentlicht: (2026)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
von: Jin, Hyundong, et al.
Veröffentlicht: (2025)

Privacy-Preserving Runtime Verification
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

The Expansion Problem for Infinite Trees
von: Blumensath, Achim
Veröffentlicht: (2023)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Statistical process discovery
von: Cry, Pierre, et al.
Veröffentlicht: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
von: Kutrib, Martin, et al.
Veröffentlicht: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
von: Akshay, S., et al.
Veröffentlicht: (2024)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

One-clock synthesis problems
von: Lasota, Sławomir, et al.
Veröffentlicht: (2026)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Infinite-state Games with Energy Objectives Beyond Counters
von: Sağlam, Irmak, et al.
Veröffentlicht: (2026)

Nondeterministic state complexity of square root
von: Onishchenko, Sergey
Veröffentlicht: (2026)

Forgetting Event Order in Higher-Dimensional Automata
von: Zouari, Safa
Veröffentlicht: (2026)

Eilenberg theorems for many-sorted formations
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2016)

Resynchronized Uniformization and Definability Problems for Rational Relations
von: Löding, Christof, et al.
Veröffentlicht: (2021)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

A Formal Approach for Tuning Stochastic Oscillators
von: Ballarini, Paolo, et al.
Veröffentlicht: (2024)

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)