TypingOutBugs

8 ms·

1. 91.▲
   by TypingOutBugs 2y ago

   There’s a few papers in this space but it’s still early days, both using Formal Verification to test outputs of LLMs and using LLMs in formal verification itself Examples of both: https://sumitkumarjha.com/papers/2023_I
2. 92.▲
   by TypingOutBugs 2y ago

   Agda and Liquid Haskell are used for Cardano, one of the largest blockchain platforms, alongside other tooling in that space. It’s one of the larger formally verified projects in the wild so I’d argue it’s fairly mature. For example their f
3. 93.▲
   by TypingOutBugs 2y ago

   F* is a research project thats almost 15 years old! Its not part of the recent wave of languages