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

#USCPA #USTax #TaxReview #TaxResearch

US Tax Manager (CPA)