cozy performs comparative symbolic execution on original and translated binaries to flag differences for developer review while proving equivalence elsewhere.
Division by invariant integers using multiplication
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
TIGER delivers the first GPU-accelerated high-precision TFHE implementations for LLM nonlinear layers, with measured speedups of 7.17x for GELU, 16.68x for Softmax, and 17.05x for LayerNorm over CPU baselines.
citing papers explorer
-
Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
cozy performs comparative symbolic execution on original and translated binaries to flag differences for developer review while proving equivalence elsewhere.
-
GPU Acceleration of TFHE-Based High-Precision Nonlinear Layers for Encrypted LLM Inference
TIGER delivers the first GPU-accelerated high-precision TFHE implementations for LLM nonlinear layers, with measured speedups of 7.17x for GELU, 16.68x for Softmax, and 17.05x for LayerNorm over CPU baselines.