3 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…
cs.LG2024
Aligning Knowledge Graphs Provided by Humans and Generated from Neural Networks in Specific Tasks
Tangrui Li, Jun Zhou
This paper develops an innovative method that enables neural networks to generate and utilize knowledge graphs, which describe their concept-level knowledge and optimize network pa…