3 citations · 3 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
Rethinking Evaluation Paradigms in IBP-based Certified Training
Konstantin Kaulen, Hadar Shavit, Holger H. Hoos
Deep neural networks achieve strong performance on many supervised learning tasks but remain vulnerable to adversarial perturbations. Neural network verification provides mathemati…
cs.NE2026
Improving Evaluation of Recombination-based Cartesian Genetic Programming
Duy Long Tran, Anja Jankovic, Marie Anastacio +2
Cartesian Genetic Programming has traditionally been using mutation as its main and often sole genetic operator to drive evolutionary search. Despite advancements in recent years,…