Logic
4 items across the graph — tagged with Logic.
From the graph · 4
repo
sileod/reasoning-core
→repoProcedural data generators suite for synthetic pretraining and formal reasoning
sileod/llm-theory-of-mind
→repoTesting Theory of Mind (ToM) in language models with epistemic logic
cconsta1/SexEst
→repoSexEst is an open-source Streamlit web application for predicting biological sex from skeletal measurements using machine learning (XGBoost, LightGBM, Linear Di…
pisanuw/ltms
→A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: ht…