Showing 1–11 of 11 results
/ Date/ Name
Jan 26, 2025SQ-DM: Accelerating Diffusion Models with Aggressive Quantization and Temporal SparsityFeb 12, 2021Verifying High-Level Latency-Insensitive Designs with Formal Model CheckingFeb 8, 2021VS-Quant: Per-vector Scaled Quantization for Accurate Low-Precision Neural Network InferenceNov 11, 2025TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid SystemMar 14, 2023Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean NetworksMar 25, 2026GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field AlgebraJun 13, 2022Optimal Clipping and Magnitude-aware Differentiation for Improved Quantization-aware TrainingMar 16, 2021Softermax: Hardware/Software Co-Design of an Efficient Softmax for TransformersJun 26, 2021LNS-Madam: Low-Precision Training in Logarithmic Number System using Multiplicative Weight UpdateDec 3, 2025GalaxyDiT: Efficient Video Generation with Guidance Alignment and Adaptive Proxy in Diffusion TransformersSep 29, 2025Pretraining Large Language Models with NVFP4