2 papers
cs.LG2026
LLMs Uncertainty Quantification via Adaptive Conformal Semantic Entropy
Hamed Karimi, Vaishali Meyappan, Reza Samavi
LLMs' overconfidence, particularly when hallucinating, poses a significant challenge for the deployment of the models in safety-critical settings and makes a reliable estimation of…
cs.LG2026
Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
Mohammadreza Maleki, Rushendra Sidibomma, Arman Adibi +1
Certifying neural network robustness against adversarial examples is challenging, as formal guarantees often require solving non-convex problems. Hence, incomplete verifiers are wi…