def definition def or abbrev

`semanticFreeEnergy`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 121def semanticFreeEnergy
 122    (refCost entropy attention berryWeight berry : ℝ) : ℝ :=

Definition body.

 123  refCost - attention * entropy - berryWeight * berry
 124

From the project-wide theorem graph. These declarations reference this one in their body.

higher_berry_lowers_freeEnergy in IndisputableMonolith.Unification.CriticalRecognitionLoading decl_use
higher_entropy_lowers_freeEnergy in IndisputableMonolith.Unification.CriticalRecognitionLoading decl_use

Lean names referenced from this declaration's body.

entropy in IndisputableMonolith.Foundation.InitialCondition decl_use
entropy in IndisputableMonolith.Thermodynamics.BoltzmannDistribution decl_use
entropy in IndisputableMonolith.Thermodynamics.PartitionFunction decl_use