Daragh King

According to our database, Daragh King authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing.

Daragh King, Vasileios Koutavas, Laura Kovács

CoRR, July, 2025

Llm-Based Generation of Weakest Preconditions and Precise Array Invariants.

Daragh King, Vasileios Koutavas, Laura Kovács

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025

2024

Using the Polyak Step Size in training Convolutional Neural Networks.

Daragh King

Proceedings of the Second Tiny Papers Track at ICLR 2024, 2024