Whiel: A Neurosymbolic Platform for Certified Relational Program Verification

Published in Manuscript, 2026