A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

4 points by namin 115 days ago | 2 comments

vdupras 115 days ago |

I asked the LLM whether my program was correct and it answered: you're absolutely right!

namin 115 days ago | |

Ha. At least you can check the theorem statements and see that the proofs verify :)

vdupras 115 days ago |

I asked the LLM whether my program was correct and it answered: you're absolutely right!

namin 115 days ago | |

Ha. At least you can check the theorem statements and see that the proofs verify :)