Oleg Mürk

According to our database, Oleg Mürk authored at least 3 papers between 2006 and 2025.

Collaborative distances:

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

2025

Competitive Programming with Large Reasoning Models.

Ahmed El-Kishky, Alexander Wei, Andre Saraiva, Borys Minaiev, Daniel Selsam, David Dohan, Francis Song, Hunter Lightman, Ignasi Clavera Gilaberte, Jakub Pachocki, Jerry Tworek, Lorenz Kuhn, Lukasz Kaiser, Mark Chen, Max Schwarzer, Mostafa Rohaninejad, Nat McAleese, o3 contributors, Oleg Mürk, Rhythm Garg, Rui Shu, Szymon Sidor, Vineet Kosaraju, Wenda Zhou

CoRR, February, 2025

2007

KeY-C: A Tool for Verification of C Programs.

Oleg Mürk, Daniel Larsson, Reiner Hähnle

Proceedings of the Automated Deduction, 2007

2006

Aranea: web framework construction and integration kit.

Oleg Mürk, Jevgeni Kabanov

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006