Rahul Dass
Individual
The first open-source Neurosymbolic AI Verification Layer. QWED prevents hallucinations in high-stakes LLM applications (Math, Finance, Logic) by using deterministic engines (SymPy, Z3, AST) to ver...
Specialized tax compliance verification guards for Cross-Border Tax, Transfer Pricing, and GST/VAT.
Legal reasoning verification using IRAC framework and citation checking for AI lawyers.
Financial statement verification, formula checks (NPV/IRR), and ISO 20022 compliance.
Unified Compliance Platform integration for regulatory reporting and real-time auditing.
Individual
Rahul Dass
