"Catala: a Programming Language for the Law"
arxiv.org
"A straightforward and systematic translation of statutory law into an executable implementation"
Gen AI enables generation of Catala from legal text; many implications
1/
Authors apply it to, among others, the US tax code
in doing so, they discover loopholes in the US tax code via formal code analysis techniques
2/
Bottleneck with Catala is taking real legal texts and translating them. Should be very doable with LLMs.
3/
- Analysis of legal docs to spot errors/loopholes
- Document simplification without changing content
- Identification of contradictions
- ... what am I missing?
@johnjnay @dwightcrow
More from this author
This is an EUV Lithography Machine. It costs $150mm, has >100,000 components, took 30 years to develop and is roughly the size of a bus. Now, it'...
An intriguing trend in AI 🤖: “Models all the way down” (aka "stacking") Have models invoke other models, then watch as emergent intelligence develop...
What does an AI sysadmin look like? Introducing 💦 ShellShark 🦈 : an agent that swims through your infra to: ✅ Set up/modify infrastructure ⚙️ Examin...
🗣️ Build @retool dashboards with speech! 🗣️ I made a GPT-3-powered NLUI for rapidly prototyping in @retool/@tooljet. Check it out! https://t.co/ATQl...
Recent Threads
wont tag because its a nothingburger. i think richy really hates himself more than anything else in the world and struggles with friendship because of...
🇧🇦 Bosnia have released an official World Cup song and it's an absolute BANGER. 💙💛 🎵 "I AM FROM BOSNIA, TAKE ME TO AMERICA." https://t.co/yKZs5r7vBw
New in Claude Code (research preview): dynamic workflows. Claude writes an orchestration script on the fly, then spins up a large fleet of coordinate...
What if you could take three completely different model families… and distill them into one tiny model? 🤯 📜 Paper: https://t.co/K2iKD4xFvp MOPD (Mul...
🇺🇸💥🇮🇱 Congress Just Voted to Fuse the U.S. Military With Israel’s — and Buried It on Page 847 So You Wouldn’t Notice ☠️ Section 224 of the $1.15 Tril...
Police running down harassing this guy over a post on Facebook about protesting Data Centers. https://t.co/mfqEKnGwld
Popular Threads
Please retweet and share if you support my and others' vaccine injury recoveries. https://t.co/y8xNWwRUOO
Winning the Chevening Scholarship + 12 Strong Samples of the Chevening Essay There are four important Essays on the Chevening Scholarship application...
Top-40 Footballers with Most Goal Contributions (Goals + Assists) in history. [ A MEGA THREAD ] https://t.co/gAb3QcqdYQ
Ware County, Ga has broken the Dominion algorithm: Using sequestered Dominion Equipment, Ware County ran a equal number of Trump votes and Biden vote...
A thread: Pakistani newspaper Dawn's front pages from 4th december 1971 to 20 December to see how they kept their own people in the dark. This was on...
Top 20 Players with the most goals + assists in football history, only players with assists available (following the Opta criteria for assists) Seaso...
