Pinned Loading

1. provable-optimization provable-optimization Public

   A rigorous foundation for provable agentic reasoning. Establishes a trust layer for neurosymbolic AI by formalizing optimization constraints in Lean 4. Replaces empirical approximation with deducti…

   Lean

2. dotfiles dotfiles Public

   Automates hermetic environments (macOS/HPC) to eliminate drift. Provisions offline RAG (Gemma 2), compiles LaTeX manuscripts, and indexes local knowledge. Unifies infrastructure, writing, and infer…

   Python

3. talks talks Public

   Forked from alysivji/talks

   Code, slides, and documentation for the talks I have given.

   1

4. linear-algebra linear-algebra Public

   Learning plan for core concepts

5. safety safety Public

   Python