Packages

case class EntropyAtomWeight(h0: Double, kl0: Double, p0: Double, q0: Double, initWeight: Double, hW: Double, klW: Double, crossKL: Boolean = true) extends Product with Serializable

Spire gradient learning for tradeoff between generation entropy and theorem-proof relative entropy

h0

the initial generation entropy

kl0

the initial relative entropy between theorems and proofs

p0

the initial theorem weight of the element

q0

the initial proof weight of the element

initWeight

the weight of the initial distribution in generation of terms

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EntropyAtomWeight
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new EntropyAtomWeight(h0: Double, kl0: Double, p0: Double, q0: Double, initWeight: Double, hW: Double, klW: Double, crossKL: Boolean = true)

    h0

    the initial generation entropy

    kl0

    the initial relative entropy between theorems and proofs

    p0

    the initial theorem weight of the element

    q0

    the initial proof weight of the element

    initWeight

    the weight of the initial distribution in generation of terms

Value Members

  1. val crossKL: Boolean
  2. val h0: Double
  3. def h1(x: Double): Jet[Double]
  4. val hW: Double
  5. val initWeight: Double
  6. def iter(sc: Double = 1, prune: Boolean = false): Iterator[Double]
  7. implicit val jetDim: JetDim
  8. val kl0: Double
  9. def kl1(x: Double): Jet[Double]
  10. val klW: Double
  11. val p0: Double
  12. def pInit(x: Double): Jet[Double]
  13. def pairIterator(sc: Double = 1): Iterator[(Double, Option[Double])]
  14. def productElementNames: Iterator[String]
    Definition Classes
    Product
  15. def prunedPairIterator(cutoff: Double, sc: Double = 1): Iterator[(Double, Option[Double])]
  16. val q0: Double
  17. def q1(x: Double): Jet[Double]
  18. def stableWeight(cutoff: Double, sc: Double = 1): Double
  19. def tot(x: Double): Jet[Double]
  20. def totIterator(x: Double, sc: Double = 1): Iterator[Double]
  21. def totShifted(x: Double, sc: Double = 1): Double