Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "code-synthesis" keyword

rotalabs-verity 1.1.0
Verity: Neuro-symbolic synthesis of verified code using Z3 and LLMs with CE2P feedback
3 versions - Latest release: 4 months ago - 44 downloads last month - 0 stars on GitHub - 1 maintainer
rotalabs-verify 0.0.1
Verified code synthesis with CE2P hypothesis - Confidence-Error-Effort-Progress signals
1 version - Latest release: 10 months ago - 97 downloads last month
Related Keywords
verification 2 ai 1 machine-learning 1 ce2p 1 cegis 1 formal-methods 1 llm 1 neuro-symbolic 1 smt 1 z3 1