We gratefully acknowledge support from
the Simons Foundation and member institutions.

Sudip Mittal is qualified to endorse.

Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions

Martin Duclos: Is registered as an author of this paper.
Not currently an endorser. (why?)
Sudip Mittal: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CR, cs.LG, cs.SI. (why?)

Ivan A. Fernandez, Kaneesha Moore and Edward Zieglar are not registered as owners of this paper. (why?)