PrototypeCommune
eth-sri/type-constrained-code-generation
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
- Propriétaire
- eth-sri (organisation)
- Étoiles
- Étoiles : 106
- Forks
- Forks : 10
- Langage
- Python
- Licence
- MIT
- Création
- 2025
- Sujets
- code-synthesisconstrained-decodingllmtype-systems
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de eth-sri
Les 14 dépôts de eth-sri- eth-sri/lmqlÉtoiles : 4 222PythonRC
- eth-sri/securify2Étoiles : 635SolidityAlpha
- eth-sri/debinÉtoiles : 454PythonAlpha
- eth-sri/eranÉtoiles : 347PythonAlpha
- eth-sri/matharenaÉtoiles : 294PythonAlpha
- eth-sri/securifyÉtoiles : 223JavaPrototype
D’autres dépôts Python
Tous les dépôts Python- Ta0p1/ResolveLabÉtoiles : 106PythonPrototype
- PlusF666/mctaste-labÉtoiles : 106PythonPrototype
- Sac-Y/match-cutÉtoiles : 106PythonPrototype
- mkelly12/google_closure_compilerÉtoiles : 106PythonPrototype
- alex/django-admin-histogramsÉtoiles : 106PythonPrototype
- bretth/wovenÉtoiles : 106PythonPrototype