Metamorph: Synthesizing Large Objects from Dafny Specifications. - Aleksandr Fedchin; Alexander Y. Bai; Jeffrey S. Foster (Proc. ACM Program. Lang., 2025)