> I suspect debugging is not that straightforward to LLM'ize. Debugging is not e...

		anon-3988 1 day ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream > I suspect debugging is not that straightforward to LLM'ize. Debugging is not easy but there should be a lot of training corpus for "bug fixing" from all the commits that have ever existed.