axiom-synth

This content is not available in your language yet.

Grammar-based генератор кандидатов, используемый CEGIS-циклом. В v0.2 генерация кандидата отделена от полномочия признать его корректным: этот репозиторий должен лишь подобрать программу, удовлетворяющую текущему конечному набору примеров. За универсальное доказательство либо выдачу контрпримера отвечает axiom-symbolic.

Связанные исследования

Этот компонент входит в исследовательский проект Axiom. Все компоненты собраны по теме localzet-axiom. Основной язык документации — русский. Исследовательские результаты и ограничения не означают готовность к промышленному применению.

Исходный код · MIT