PinnedJesse JingWrite for Towards NeSyShare Neural-Symbolic concepts, ideas, and tools one at a timeMar 14, 2023Mar 14, 2023
Jesse JingGraph of Thoughts: Enhancing Reasoning with Explicit Relational StructuresRelational representation directly improves the reasoning ability of LLMs.Nov 11, 2023Nov 11, 2023
Jesse JingTemporal Logic Model CheckingIllustrated with a toy example of traffic lightAug 22, 2023Aug 22, 2023
Jesse JingWhat is Knowledge?from Epistemology, AI, and Neuroscience perspectivesApr 21, 2023Apr 21, 2023
Jesse JingThe Bitter LessonWhat direction to avoid in the field of neural symbolic AI?Apr 12, 2023Apr 12, 2023
Weiye ZhaoState-wise Safe Reinforcement Learning: A SurveyTwo classes, existing methods, and some trade-offsMar 22, 20231Mar 22, 20231
Harshit PandeyTowards a Fair ClassifierEliminating Discrimination Patterns in a Naive-Bayes ClassifierMar 16, 2023Mar 16, 2023
Jesse JingVerifying Binarized Neural Networks By Angluin-Style LearningUse knowledge compilation for tractable reasoningMar 1, 2023Mar 1, 2023
Jesse JingDescription logicsSome notes on Description Logics: a less expressive but more compact logic compared to First Order Logic.Feb 16, 2023Feb 16, 2023