67 citations · 98 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Agentic Planning for Symbolic Execution
Daniel Koh Ji Yang, Yannic Noller, Corina S. Pasareanu +1
Symbolic execution seeks to explore feasible program paths, yet a practical run may exhaust its resources while much program behaviour remains unreached. We investigate a complemen…
cs.LG2026
Kill it with FIRE: On Leveraging Latent Space Directions for Runtime Backdoor Mitigation in Deep Neural Networks
Enrico Ahlers, Daniel Passon, Yannic Noller +1
Machine learning models are increasingly present in our everyday lives; as a result, they become targets of adversarial attackers seeking to manipulate the systems we interact with…