There’s a few papers in this space but it’s still early days, both using Formal ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		TypingOutBugs on Dec 26, 2024 \| parent \| context \| favorite \| on: F*: A proof oriented general purpose programming l... 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_ICAA_LLM_Dehallucinati... https://mathai2023.github.io/papers/28.pdf

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact