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.​

13
/ 100
Experimental

No commits in the last 6 months.

Stale 6m No Package No Dependents
Maintenance 2 / 25
Adoption 0 / 25
Maturity 11 / 25
Community 0 / 25

How are scores calculated?

Stars

—

Forks

—

Language

Python

License

MIT

Category

chemistry-llm-benchmarks

Last pushed

Aug 23, 2025

Commits (30d)

0

GitHub
Chemistry Llm Benchmarks · 3 models

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/transformers/drakedu/formalize"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

maxischuh/TwinBooster

Package for TwinBooster. Enables fast and powerful zero-shot molecular property prediction.

49

ehrenhofer-group/LLM_Material_Property_Benchmark

A Python toolkit for evaluating Large Language Models (LLMs) in materials science workflows

13

Explore Transformer Models

All categories Trending Transformer directory Insights