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 "ce2p" 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
Related Keywords
cegis 1 code-synthesis 1 formal-methods 1 llm 1 neuro-symbolic 1 smt 1 verification 1 z3 1