Copertina

Compensate Quantization Errors: Make Weights Hierarchical to Compensate Each Other

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gao, Yifei, Ou, Jie, Wang, Lei, Xiao, Yuting, Xiang, Zhiyuan, Dai, Ruiting, Cheng, Jun
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language Artificial Intelligence F.2.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Compensate Quantization Errors+: Quantized Models Are Inquisitive Learners
di: Gao, Yifei, et al.
Pubblicazione: (2024)

Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations
di: Antonelli, Melissa, et al.
Pubblicazione: (2025)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
di: Parrinha, Francisco, et al.
Pubblicazione: (2026)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
di: Yang, Ziyi, et al.
Pubblicazione: (2026)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
di: Bertrand, Meven Lennon, et al.
Pubblicazione: (2026)

Direct Sums for Parity Decision Trees
di: Besselman, Tyler, et al.
Pubblicazione: (2024)

The Relational Machine Calculus
di: Barrett, Chris, et al.
Pubblicazione: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
di: de Rezende, Susanna F., et al.
Pubblicazione: (2019)

Algorithmic Trading Strategy Development and Optimisation
di: Yuan, Owen Nyo Wei, et al.
Pubblicazione: (2026)

CLIQUE as an AND of Polynomial-Sized Monotone Constant-Depth Circuits
di: Bodnar, Levente
Pubblicazione: (2024)

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
di: Poddar, Aheli, et al.
Pubblicazione: (2025)

Logics for the Relational Syllogistic
di: Pratt-Hartmann, Ian, et al.
Pubblicazione: (2008)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
di: Moore, Hayden, et al.
Pubblicazione: (2025)

The Stable Model Semantics for Higher-Order Logic Programming
di: Bogaerts, Bart, et al.
Pubblicazione: (2024)

Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
di: Conneryd, Jonas, et al.
Pubblicazione: (2025)

On bounded depth proofs for Tseitin formulas on the grid; revisited
di: Håstad, Johan, et al.
Pubblicazione: (2022)

Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
di: de Rezende, Susanna F., et al.
Pubblicazione: (2026)

Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
di: de Rezende, Susanna F., et al.
Pubblicazione: (2024)

Supercritical Tradeoffs for Monotone Circuits
di: Göös, Mika, et al.
Pubblicazione: (2024)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
di: Perháč, Ján, et al.
Pubblicazione: (2025)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
di: Klaus, Natalia, et al.
Pubblicazione: (2026)

Formula Size-Depth Tradeoffs for Iterated Sub-Permutation Matrix Multiplication
di: Rossman, Benjamin
Pubblicazione: (2024)

Semi-interval Comparison Constraints in Query Containment and Their Impact on Certain Answer Computation
di: Afrati, Foto N., et al.
Pubblicazione: (2025)

Limitation of Quantum Walk Approach to the Maximum Matching Problem
di: Júnior, Alcides Gomes Andrade, et al.
Pubblicazione: (2025)

Non-Ground Congruence Closure
di: Leidinger, Hendrik, et al.
Pubblicazione: (2024)

Min-CSPs on Complete Instances
di: Anand, Aditya, et al.
Pubblicazione: (2024)

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
di: Wang, Yuanhong, et al.
Pubblicazione: (2026)

Quantum Sabotage Complexity
di: Cornelissen, Arjan, et al.
Pubblicazione: (2024)

Constructive Cavity Method
di: Franchini, Simone
Pubblicazione: (2026)

Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)
di: van Brügge, Jan
Pubblicazione: (2024)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

Separation of PSPACE and EXP
di: Czerwinski, Reiner
Pubblicazione: (2021)

On the Pure States of the Replica Symmetry Breaking ansatz
di: Franchini, Simone
Pubblicazione: (2025)

Implementing the First-Order Logic of Here and There
di: Otten, Jens, et al.
Pubblicazione: (2026)

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
di: Xu, Qiyuan, et al.
Pubblicazione: (2026)

Probability Bracket Notation: Multivariable Systems and Static Bayesian Networks
di: Wang, Xing M.
Pubblicazione: (2012)

Probability Bracket Notation: Markov Sequence Projector of Visible and Hidden Markov Models in Dynamic Bayesian Networks
di: Wang, Xing M.
Pubblicazione: (2012)

ReViSQL: Achieving Human-Level Text-to-SQL
di: Zhu, Yuxuan, et al.
Pubblicazione: (2026)

The Polynomial Hierarchy does not collapse
di: Czerwinski, Reiner
Pubblicazione: (2024)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
di: Putra, Rizky Ramadhana, et al.
Pubblicazione: (2026)