Fault Tolerant Reconfigurable ML Multiprocessor. - Tangrui Li; Justin Y. Shi; Matteo Spatola; Hongzheng Wang (CoRR, 2025)

PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints. - Tangrui Li; Pei Wang 002; Hongzheng Wang; Christian Hahm; Matteo Spatola; Justin Shi (CoRR, 2025)