search

singnet / ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
MIT License
68 stars 18 forks source link

Program synthesis experiments using Idris2 proof search #72

Closed ngeiswei closed 1 year ago

ngeiswei commented 1 year ago

Collection of experiments to use Idris2 proof search functionality to perform program synthesis with various levels of success. See https://github.com/ngeiswei/ai-dsl/blob/proto-program-synthesis/experimental/program-synthesis/idris-proofsearch/README.md for more info.