Using the Polyak Step Size in training Convolutional Neural Networks. - Daragh King (Tiny Papers @ ICLR, 2024)

Llm-Based Generation of Weakest Preconditions and Precise Array Invariants. - Daragh King; Vasileios Koutavas; Laura Kovács (FormaliSE, 2025)

FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing. - Daragh King; Vasileios Koutavas; Laura Kovács (CoRR, 2025)