mlfoundations-dev/mlfoundations-dev_code-stratos-verified-scaled-1_stratos_7b