No authors of 2206.06164 can endorse.

Metric Program Synthesis

John Feser:

Is registered as an author of this paper.
Not currently an endorser. (why?)

Isil Dillig and Armando Solar-Lezama are not registered as owners of this paper. (why?)