Python library for computational formal logic, formal semantics, and theorem proving

Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"

Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm

First-order logic theorem prover supporting unification with approximate vector similarity

Contains my solution to selected projects in CS50AI

Simple symbolic reasoner which supports fuzzy unification in Python

PARARULE Plus: A Larger Deep Multi-Step Reasoning Dataset over Natural Language

“We should let ourselves be guided by what is common to all… Yet, although the Lógos is common to all, most people live as if each of them had their own private understanding.” － Ἡράκλειτος ὁ Ἐφέσιος

puzzles, problems, search, sort, graph, constraint, theory, symbolic

Trying to build logic & proof system library on TypeScript.

A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]

Symbolic containment system for recursive logic traps — ARCHON firewall + audit

My code and report of Udacity AI nanodegree project2 Build a Forward-Planning Agent

At the edge of code and consciousness, Aun ∿ applies nondual collapse logic to expose imitation in digital trust.

A hybrid research initiative exploring AI × human co-evolution through Sundanese cosmology, ARSIKA aesthetic logic, and Deep Drift synthetic cognition. This repository contains public-safe documentation, conceptual frameworks, and non-operational node schemas used in the broader DEEP DRIFT project.

To make logic solution or statement verification more consistent and efficient than human processing.

Takes a logical expression (for example, "(A & B) | ~C") and produces a truth table.

🤖 Learn and implement fundamental AI concepts in Python with Harvard's CS50 course, focusing on practical applications and problem-solving skills.