PinnedJesse JinginTowards NeSyWhat is Knowledge?from Epistemology, AI, and Neuroscience perspectivesApr 21, 2023Apr 21, 2023
PinnedJesse JinginTowards NeSyWrite for Towards NeSyShare Neural-Symbolic concepts, ideas, and tools one at a timeMar 14, 2023Mar 14, 2023
Jesse JinginTowards NeSyGraph of Thoughts: Enhancing Reasoning with Explicit Relational StructuresRelational representation directly improves the reasoning ability of LLMs.Nov 11, 2023Nov 11, 2023
Jesse JinginTowards NeSyTemporal Logic Model CheckingIllustrated with a toy example of traffic lightAug 22, 2023Aug 22, 2023
Jesse JinginTowards NeSyThe Bitter LessonWhat direction to avoid in the field of neural symbolic AI?Apr 12, 2023Apr 12, 2023
Jesse JinginTowards NeSyVerifying Binarized Neural Networks By Angluin-Style LearningUse knowledge compilation for tractable reasoningMar 1, 2023Mar 1, 2023
Jesse JinginTowards NeSyDescription logicsSome notes on Description Logics: a less expressive but more compact logic compared to First Order Logic.Feb 16, 2023Feb 16, 2023
Jesse JinginGeek CulturePhilosophy, Computing, and Artificial Intelligence (1/?)This is the (partial) course note for PHI 319 instructed by Prof. Thomas A. Black at Arizona State University.Dec 15, 2022Dec 15, 2022
Jesse JingLogic For Mathematicians Note (1/7)Chapter One: Informal Statement CalculusSep 14, 20222Sep 14, 20222
Jesse JinginTowards NeSyLogic Study Note: propositional & FOLThe study note of Stanford CS221 course and some thoughtsSep 2, 2022Sep 2, 2022