2 papers
cs.CC2026
Many Proof Complexity Generators Inside One Demi-Bits Generator
Xin Li, Hanlin Ren, Yan Zhong
For a propositional proof system and a polynomial-time function (), we say that is a *proof complexity generator* against…
cs.CC2024
Two-Source and Affine Non-Malleable Extractors for Small Entropy
Xin Li, Yan Zhong
Non-malleable extractors are generalizations and strengthening of standard randomness extractors, that are resilient to adversarial tampering. Such extractors have wide application…