Selective-risk certificates promise that accepted outputs meet a declared error target. We develop Fed-SRC, a score-agnostic certificate for federated, differentially private, adaptively monitored retrieval-augmented generation. Clients release only Gaussian-perturbed score and loss histograms. Record-indexed and noise...
This work introduces StepCOPS, which uses an independent proposal split to nominate one lower-tail floor per candidate, exact binomial tests on a fresh certification split, and Holm's step-down procedure to certify a set of floors.
The perturbation analysis motivates pre-norm attention and MLP components under explicit local assumptions; results on AdaLN, U-shaped, convolutional, and cross-attention blocks are empirical transfer, not certified guarantees.
Ibne Farabi Shihab, Abu Sa-Adat Mohamed Moon-Im Al Ahsan, Anuj Sharma· 0 citations
Task-Aware Spectral Pruning (TASP), a post-training framework that calibrates module-level spectral descriptors against measured task-specific ablation effects, closes grouped-query-attention and SwiGLU dependencies during sparse-mask construction, and routes each user turn to one compiled mask that remains fixed throu...
BLADE is presented, a variational model that separates latent truth from graph recording and distills offline language-model judgments into a frozen teacher regularizer and claims calibration only for the declared candidate distributions, not for all unobserved triples.
Ibne Farabi Shihab, Rabeya Bosri Tamanna, Abdo El Karaky et al.· 0 citations
A finite-width conditional bound linking the inverse participation ratio of squared singular values to central pre-softmax logit kurtosis is derived and a pointwise query--key product-tail target is defined and compared with independent factor surgery with a product-targeted factorization that preserves native attentio...
Calibration-Preserving Pruning augments a base pruning score with nonconformity-gradient saliency and uses disjoint pruning, validation-selection, conformal-calibration, and test splits to obtain smaller valid prediction sets.
CODS is introduced, a critic-guided selector that alternates between fitting an algorithm-matched critic and acquiring high-residual transitions before freezing a reusable subset, a reusable selection procedure, not a formal coreset guarantee.
Ibne Farabi Shihab, Sanjeda Akter, Abu Sa-Adat Mohamed Moon-Im Al Ahsan et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
