Skip to content
View lawrenceteo's full-sized avatar

Block or report lawrenceteo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lawrenceteo/README.md

🛡️ Lawrence Kah Hoong Teo

Architect of Cognitive Formalism (CF) | Independent AGI Safety Researcher

ORCID: 0009-0006-1196-0762 | Alumnus, Universiti Malaysia Sabah (BSc Industrial Chemistry)


🔬 The Journey: From Molecular Stability to AGI Alignment

My work is driven by a 20-year synthesis of physical sciences and formal logic. I began my career in Industrial Chemistry (2005), where I learned that a system is only as reliable as its underlying geometry and thermodynamic stability.

After two decades of independent philosophical and technical development, I have transitioned these principles into the field of AGI Safety. I believe that the "Alignment Problem" is not just a linguistic challenge, but a Topological Invariance problem.

🏛️ Core Research: Cognitive Formalism (CF)

I am the author of Cognitive Formalism, a framework that seeks to anchor AI "thought" within a mathematically verifiable manifold. My current focus is Project Agora, which uses:

  • CF-DSL: To define constitutional anchors as basis vectors.
  • Lean 4: To provide formal proofs of path-connectedness between human values and machine obligations.
  • CRP (Coherence Restorative Projection): To mitigate semantic drift using orthogonal projection logic.

🛠️ Current Focus

  • 🛰️ Developing CF 18.0: Refining the constitutional grammar for AGI guardrails.
  • 🛡️ Topological Invariants: Formalizing "Human Dignity" as an Epsilon-Bound stability threshold.
  • 🧪 Cross-Disciplinary Synthesis: Applying Phase Equilibrium logic to mitigate "Subspace Leakage" in Large Language Models.

📬 Connectivity

I am an independent scholar currently seeking collaborators, peer reviewers, and research opportunities in Neuro-Symbolic AI and Formal Verification.

  • Primary Repo: Project Agora
  • Status: Open to technical dialogue regarding the intersection of physicalist constraints and AGI safety.

"If the geometry of meaning is not stable, the system of reason will collapse."

Popular repositories Loading

  1. one-click-hugo-cms one-click-hugo-cms Public

    CSS

  2. gatsby-starter-default gatsby-starter-default Public

    The default Gatsby starter

    JavaScript

  3. Iymages Iymages Public

  4. CF-Entry-0001 CF-Entry-0001 Public

    CF‑0001 — D=2 stability proof; mechanized refutation of the Private Language Argument via Lean 4 and CF‑DSL.

    Lean

  5. project-agora-cf-dsl project-agora-cf-dsl Public

    Topological AGI Alignment: Formalizing Semantic Invariants via Lean 4.

    Lean

  6. lawrenceteo lawrenceteo Public

    opological AGI Alignment: Formalizing Semantic Invariants via Lean 4 & Phase-Stability Logic.