3 papers
cs.AI2026
From Events to Reasoning: Hierarchical Rule Composition over Explicit States
Cheng Lyu, Xueqi Wang
What a reasoning system emits is a conclusion; what it owes is a justification. Producing one requires every operation to be admissible on the facts actually available, the depende…
cs.IT2026
Shift-Invariant Permutations with Polynomial Composition: Construction and Algebraic Structure
Cheng Lyu, Dabin Zheng, Mu Yuan +1
Shift-invariant permutations of are particularly attractive in symmetric cryptography because of their regularity and implementation efficiency. Constructing such p…
cs.CR2025
A Generalized -Function
Cheng Lyu, Mu Yuan, Dabin Zheng +2
The mapping from $\F_{2}^{n}$ to itself defined by with , where the indices are computed modulo , has been widely studied for its ap…