Skip to content
#

hessian-analysis

Star

Here is 1 public repository matching this topic...

AEjonanonymous / The-Ghost-In-Yalls-Machine

Star 1

Resolving the Black Box Interpretability Problem by Proving the Mathematical Necessity of J-space via Hessian Rank Deficiency in Lean 4.

ai mathematics artificial-intelligence artificial-neural-networks formal-verification interactive-theorem-proving proof-of-existence mathlib interpretable-machine-learning neural-network-optimization black-box-explanations academic-research lean4 j-space anthropic-ai hessian-analysis ai-augmented-research
  • Updated Jul 14, 2026
  • Lean

Improve this page

Add a description, image, and links to the hessian-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hessian-analysis topic, visit your repo's landing page and select "manage topics."

Learn more