2 papers
cs.CL2025
PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints
Tangrui Li, Pei Wang, Hongzheng Wang Christian Hahm +2
Large Language Models (LLMs) often exhibit limited logical coherence, mapping premises to conclusions without adherence to explicit inference rules. We propose Proof-Carrying Reaso…
cs.NI2025
Fault Tolerant Reconfigurable ML Multiprocessor
Tangrui Li, Justin Y. Shi, Matteo Spatola +1
This paper reports three computational experiments for a von Neumann inspired reconfigurable fault tolerant multiprocessor for neural network (NN) training workflows. The experimen…