Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Jian-Ze Cai

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents

This paper presents the design, formal analysis, and implementation of a complete blockchain-based electronic invoice system on Ethereum, and formalizes the invoice lifecycle as a guarded labeled transition system and proves that the system guarantees reimbursement uniqueness, face integrity, and authorization soundnes...

Jian-Ze Cai · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.