Accounting Expert (CPA)

About the RoleWe 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 DoReview AI-generated translations of tax statutes into structured logicValidate system-generated test scenariosDetect errors such as missing exceptions, incorrect thresholds, or logical misinterpretationsDesign additional edge-case scenarios to ensure completenessWho We’re Looking ForCertified Public Accountant (CPA- US) professionals with US tax practice experienceStrong expertise in tax law and statutory interpretationStrong working knowledge of the IRC and Treasury RegulationsAbility to evaluate multi-step logical rules and edge casesDetail-oriented with strong analytical thinking(Preferred) Experience with AI/LLM evaluation, annotation, or structured review workEngagement DetailsType: Freelance / ContractCompensation: $60-80 per hour (based on professional experience and project performance)Schedule: Fully flexible, asynchronousWhy Join UsBe part of a cutting-edge initiative at the intersection of AI, tax, and formal systemsApply your expertise to shape how AI understands complex legal taxation frameworksFlexible, high-impact work with competitive compensation