pith. sign in

Trefethen.Approximation Theory and Approximation Practice

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

years

2026 2

verdicts

UNVERDICTED 2

representative citing papers

Encrypted Neural Networks without Overflows

cs.CR · 2026-05-21 · unverdicted · novelty 6.0

Introduces formal verification to compute certified neuron range bounds for CKKS-encrypted neural networks, eliminating overflow failures that previously reached 47%.

citing papers explorer

Showing 2 of 2 citing papers.

  • Quantum Solvers for Nonlinear Matrix Equations in Quantum Chemistry quant-ph · 2026-05-15 · unverdicted · none · ref 143

    Quantum algorithm block-encodes Riccati solutions for m-particle m-hole RPA using Riesz projectors and QSVT, claiming linear system-size scaling under sparsity and polynomial cost in excitation rank m.

  • Encrypted Neural Networks without Overflows cs.CR · 2026-05-21 · unverdicted · none · ref 25

    Introduces formal verification to compute certified neuron range bounds for CKKS-encrypted neural networks, eliminating overflow failures that previously reached 47%.