3 papers
cs.ET2026
A Game-Theoretic Framework for Incentive-Compatible AI training Under Renewable-Energy Constraints
Konstantinos Varsos, Ramin Khalili, Adamantia Stamou +2
As artificial intelligence systems increasingly rely on distributed and collaborative training, the energy footprint of these processes becomes a shared responsibility. Modern AI t…
cs.AI2026
Interval Certifications for Multilayered Perceptrons via Lattice Traversal
Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1
In this work we present a rigorous theoretical framework to a foundational problem of AI safety, namely adversarial robustness. In particular, we show that the adversarial robustne…
cs.LG2026
Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications
Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1
A primary challenge in AI safety is the existence of adversarial examples -- slightly distorted inputs that cause a neural network (NN) to misclassify. To mitigate this problem, re…