Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Greening AI Inference with Accuracy and Latency-aware User Incentives
Vasilios A. Siris, Adamantia Stamou, George D. Stamoulis +2
The widespread use of AI services has raised concerns for its environmental sustainability, towards which recent studies have identified carbon emissions of AI inference as the maj…
cs.LG2026
The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1
Many neural network (NN) verification systems represent the network's input-output relation as a constraint program. Sound and complete, representations involve integer constraints…