While the recent Chain-of-Thought (CoT) technique enhances the reasoning ability of large language models (LLMs) with the theory of mind, it might still struggle in handling logical reasoning that ...

Abstract: Reliable and provably correct performance of control systems in the presence of various types of uncertainties and disturbances are essential objectives that require high integrity of the ...