Tutorial

This page is under construction. In the meantime, you can read about Delphyne's key concepts in the paper Oracular Programming: A Modular Foundation for Building LLM-Enabled Software. You can also look at an example of an oracular programs in the examples/find_invariants folder from Delphyne's Github repository.