PrototypeCommon
eth-sri/type-constrained-code-generation
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
- Owner
- eth-sri (organization)
- Stars
- Stars: 106
- Forks
- Forks: 10
- Language
- Python
- License
- MIT
- Created
- 2025
- Topics
- code-synthesisconstrained-decodingllmtype-systems
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by eth-sri
All 14 repos by eth-sri- eth-sri/lmqlStars: 4,222PythonRC
- eth-sri/securify2Stars: 635SolidityAlpha
- eth-sri/debinStars: 454PythonAlpha
- eth-sri/eranStars: 347PythonAlpha
- eth-sri/matharenaStars: 294PythonAlpha
- eth-sri/securifyStars: 223JavaPrototype
Nearby in Python
All Python repos- Ta0p1/ResolveLabStars: 106PythonPrototype
- PlusF666/mctaste-labStars: 106PythonPrototype
- Sac-Y/match-cutStars: 106PythonPrototype
- mkelly12/google_closure_compilerStars: 106PythonPrototype
- alex/django-admin-histogramsStars: 106PythonPrototype
- bretth/wovenStars: 106PythonPrototype