DELPHI: Deep Logical Reasoning via Neural Learning
The overarching goal of the DELPHI project is to simplify the development of correct and reliable software. Existing methodologies require significant human expertise, such as in the design of appropriate abstract domains and environment models, or suffer from significant barriers to adoption, such as limited scalability and flexibility. This project Read more…