3 ms·
Neat. I wonder if there are commercial products that are formal specifications of laws, decisions, etc. Such that you can reason on them via solvers etc.
by 0x3f 7mo ago
Neat. I wonder if there are commercial products that are formal specifications of laws, decisions, etc. Such that you can reason on them via solvers etc.
- embedding-shape 7mo agoI think it's a rite of passage for every developer who ever touched the ecosystem of law to also wonder the same. Probably even since the invention of "business programming" there been developers wondering this. Many has attempting, so far, I don't think anyone succeeded. But I'm sure someone at some point might figure it out, you never know :)
- 0x3f 7mo agoWell, there's a new batch of autoformalization attempts with LLMs now. Although I've also heard people say autoformalization will always be impossible. It's interesting to wonder what kind of coverage Cycorp managed to achieve internally, and on what domains. Seemingly no job openings at the moment though!
- planteur 7mo agohttps://news.ycombinator.com/item?id=46177022 https://news.ycombinator.com/item?id=46177022
- 0x3f 7mo agoNice, now I just need to spend 5 years encoding it all and I can finally start my 'AI' tax evasion consultancy firm.