SpecGen: Automated generation of Formal program specifications via Large Language Models. Shelby jacket from Ford vs Ferrari.

Feather and Down Body oil. Surprise eggs chocolate ingredients.