Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Bakke Graduate UniversityUS2 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ2 papers
- Institut de Mécanique et d'Ingénierie de BordeauxFR2 papers
- Polish Academy of SciencesPL2 papers
- University of WarsawPL2 papers
- Czech Technical University in PragueCZ1 paper
- ETH ZurichCH1 paper
- Institute of Inorganic Chemistry of the Slovak Academy of SciencesSK1 paper
- Open Rights GroupGB1 paper
- University of SeoulKR1 paper
- University of TübingenDE1 paper
- Walmart (United States)US1 paper
8 papers
Unfolding the Leech Lattice: Fused Multi-Shell Decoding and VRAM Layouts for 2-Bit LLM Weights
Pier-Jean Malandrino
Leech-lattice vector quantization holds the strongest reported 2-bit quality under its own evaluation protocol. Its kernel decodes one shell; we found no implementation of the mult…
LEAP: Layer-wise Exit-Aware Pretraining for Efficient Transformer Inference
Shashank Kapadia, Deep Naryan Mishra, Sujal Reddy Alugubelli +4
Layer-aligned distillation and convergence-based early exit represent two predominant computational efficiency paradigms for transformer inference; yet we establish that they exhib…
SAGE: Sign-Adaptive Gradient for Memory-Efficient LLM Optimization
Wooin Lee, Hyun-Tae Kim
The AdamW optimizer, while standard for LLM pretraining, is a critical memory bottleneck, consuming optimizer states equivalent to twice the model's size. Although light-state opti…
Structural Evolution during Reversible Halogen Intercalation into WTe2: Commensurate-Incommensurate WTe2I and Multistage WTe2Brx (x = 0.5, 1.0 and 1.25)
Patrick Schmidt, Carl P. Romao, Hans-Jürgen Meyer
Halogen intercalation into the layered material tungsten ditelluride (WTe2) provides a unique pathway to tune its structural and electronic properties. In this study, we detail the…
Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen, Ariel Grunfeld, Dominik Kirst +1
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that hand…
From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen, Ariel Grunfeld, Dominik Kirst +1
Partial Combinatory Algebras (PCAs) provide a foundational model of the untyped -calculus and serve as the basis for many notions of computability, such as realizability theory.…
Bridging advection and diffusion in the encounter dynamics of sedimenting marine snow
Jan Turczynowicz, Radost Waszkiewicz, Jonasz Słomka +1
Sinking marine snow particles, composed primarily of organic matter, control the global export of photosynthetically fixed carbon from the ocean surface to depth. The fate of sedim…
Preventing sinking of a disk by leveraging the boundary jump phenomenon
Jan Turczynowicz, Radost Waszkiewicz, Łukasz Gładczuk
Although it is commonly expected that a metal disk placed on the surface of water will sink, our investigation has revealed a surprising phenomenon: a vertical jet directed onto th…