drakedu/formalize
FORMALIZE is a lightweight framework that improves LLM-based program synthesis by automatically leveraging formal methods to enhance code generation accuracy and consistency.
No commits in the last 6 months.
Stars
—
Forks
—
Language
Python
License
MIT
Category
Last pushed
Aug 23, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/drakedu/formalize"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
theochem/ModelHamiltonian
Generate 1- and 2-electron integrals so that molecular quantum chemistry software can be used...
lamalab-org/chembench
How good are LLMs at chemistry?
maxischuh/TwinBooster
Package for TwinBooster. Enables fast and powerful zero-shot molecular property prediction.
pnnl/cactus
LLM Agent that leverages cheminformatics tools to provide informed responses.
jan-janssen/LangSim
Application of Large Language Models (LLM) for computational materials science - visit...