About the Role
We are developing a system that combines large language models with the Lean 4 theorem prover to translate tax statutes into precise, machine-verifiable logic.
The system also generates plain-English explanations to ensure that the original statutory meaning is preserved.
Given the sensitivity of tax law, even minor logical errors can break downstream correctness. We are seeking CPAs to act as the final quality gate for these AI-generated outputs.
What You'll Do
- Review AI-generated translations of tax statutes into structured logic
- Validate system-generated test scenarios
- Detect errors such as missing exceptions, incorrect thresholds, or logical misinterpretations
- Design additional edge-case scenarios to ensure completeness
Who We're Looking For
- Certified Public Accountant (CPA- US) professionals with US tax practice experience
- Strong expertise in tax law and statutory interpretation
- Strong working knowledge of the IRC and Treasury Regulations
- Ability to evaluate multi-step logical rules and edge cases
- Detail-oriented with strong analytical thinking
- (Preferred) Experience with AI/LLM evaluation, annotation, or structured review work
Engagement Details
- Type: Freelance / Contract
- Location: Remote (Global)
- Compensation: INR 3,500 - 5,500 per hour (based on professional experience and project performance)
- Schedule: Fully flexible, asynchronous
Why Join Us
- Be part of a cutting-edge initiative at the intersection of AI, tax, and formal systems
- Apply your expertise to shape how AI understands complex legal taxation frameworks
- Flexible, high-impact work with competitive compensation
