With frontier models, I have found so many self contradicting points in Indian tax law that I would rather welcome a good AI helping to reduce discretionary powers of officers via highly subjective interpretations. This power asymmetry is basically the driver for a lot of developing world corruption.

I've been thinking about autoformalizing local laws using agents into TLA+ or something, but it's sufficiently past enough my actual skillset that I'm pretty sure I'd just end up wrestling with slop like a pig in the mud. It's a shame though, I consider law to be just kind of a shitty codebase, with natural language being tortured into cooperating, so it's a really natural fit.

I'll probably yield to my temptations eventually and proceed anyways. Lord help me from all the creative but completely detached interpretations I'll land on.