Lean 증명 검사기와 AI로 미국 세법의 참조 오류를 검사하고, 2025년 가구 단위 연방소득세를 실행 가능한 모델로 만들어 세금 계산 오류와 허점을 탐색함
공식 법전에서 입법 문구 오류 138건을 찾아 각각 Lean 증명서를 만들었으며, 법률별 Git 이력으로 오류를 도입한 법률까지 추적할 수 있음
가상 가구 5,000곳을 기존 세금 소프트웨어 3종과 비교한 결과, PolicyEngine-US와 4,993곳에서 모든 수치가 일치했고 나머지는 EITC 표와 공식의 차이로 최대 11달러 차이가 났음
세금 계획 지식 없이 탐색해 기존 절세 전략을 재발견했고,
…
Lean으로 미국 세법 형식화하기
날짜
2026/11/16
생성 일시
2026/11/15 21:21
태그