2025
Quantum and Classical Communication Complexity of Permutation-Invariant Functions.
IEEE Trans. Inf. Theory, April, 2025

2024
Breaking Verifiable Delay Functions in the Random Oracle Model.
IACR Cryptol. ePrint Arch., 2024

Untangling the Security of Kilian's Protocol: Upper and Lower Bounds.
IACR Cryptol. ePrint Arch., 2024

Relativized Succinct Arguments in the ROM Do Not Exist.
IACR Cryptol. ePrint Arch., 2024

Quantum Rewinding for IOP-Based Succinct Arguments.
CoRR, 2024

LLM-Barber: Block-Aware Rebuilder for Sparsity Mask in One-Shot for Large Language Models.
CoRR, 2024

FMTT: Fused Multi-Head Transformer with Tensor-Compression for 3D Point Clouds Detection on Edge Devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

An Isotropic Shift-Pointwise Network for Crossbar-Efficient Neural Network Design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

APTQ: Attention-aware Post-Training Mixed-Precision Quantization for Large Language Models.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023
On Parallel Repetition of PCPs.
IACR Cryptol. ePrint Arch., 2023

Security Bounds for Proof-Carrying Data from Straightline Extractors.
IACR Cryptol. ePrint Arch., 2023

Concrete Security for Succinct Arguments from Vector Commitments.
IACR Cryptol. ePrint Arch., 2023

Depth-3 Circuits for Inner Product.
Electron. Colloquium Comput. Complex., 2023

RankSearch: An Automatic Rank Search Towards Optimal Tensor Compression for Video LSTM Networks on Edge.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
A Fall Detection Network by 2D/3D Spatio-temporal Joint Models with Tensor Compression on Edge.
ACM Trans. Embed. Comput. Syst., November, 2022

Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field.
IACR Cryptol. ePrint Arch., 2022

2021
A Video-based Fall Detection Network by Spatio-temporal Joint-point Model on Edge Devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021