David Dill

According to our database¹, David Dill authored at least 1 paper in 2026.

Collaborative distances:

Awards

ACM Fellow 2005, "For contributions to system verification and for leadership in the development of verifiable voting systems.".

IEEE Fellow 2001, "For contributions to verification of circuits and systems.".

Book In proceedings Article PhD thesis Dataset Other

2026

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4.

[DOI]

CoRR, February, 2026