Pramaana Labs built LegalLean — a DSL to formalize US tax code in Lean 4 and identify logical contradictions. Formal verification × NLP.
🐦 https://x.com/AalokDThakkar/status/2043589961996468231
🌐 https://pramaanalabs.ai
#MLSky
Pramaana Labs built LegalLean — a DSL to formalize US tax code in Lean 4 and identify logical contradictions. Formal verification × NLP.
🐦 https://x.com/AalokDThakkar/status/2043589961996468231
🌐 https://pramaanalabs.ai
#MLSky
Pramaana Labs built LegalLean — a DSL to formalize US tax code in Lean 4 and find logical contradictions. Formal verification meets NLP.
🐦 https://x.com/AalokDThakkar/status/2043589961996468231
🌐 https://pramaanalabs.ai
#MLSky
Pramaana Labs built LegalLean — a DSL to formalize US tax code in Lean 4 and find logical contradictions. Formal verification meets NLP.
🐦 https://x.com/AalokDThakkar/status/2043589961996468231
🌐 https://pramaanalabs.ai
#MLSky