Book
Oct 2026
Fully Automating Template Polyhedral Analysis by Leveraging LLMs
Ren-Jie Huang, Li-Qian Chen, Hong-Fei Fu et al.
· 0 citations
2 papers 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.
Staged Multi-step UTXO Workflows via Recursive Invariants
Recursive invariants, a small statically typed domain-specific language (DSL) that formalizes UTXO validation and ledger extension, identifies the validation-time-evaluable one-step fragment, and proves the deduction system sound w.r.t. the three-valued semantics.
Shu-Yang Tang, Sherman S. M. Chow, Hong-Fei Fu et al.
· Proceedings of the ACM on Pr... · 0 citations