Structure tttTrain


Source File Identifier index Theory binding index

signature tttTrain =
sig

  include Abbrev

  type token = tttToken.token
  type tnn =  mlTreeNeuralNetwork.tnn

  val mask_unknown_val : tnn -> term -> term
  val mask_unknown_pol : tnn -> term -> term
  val mask_unknown_arg : tnn -> term -> term
  val add_mask_val : tnn -> tnn
  val add_mask_pol : tnn -> tnn
  val add_mask_arg : tnn -> tnn
  val nntm_of_stateval : goal -> term
  val nntm_of_statepol : goal * string -> term
  val nntm_of_statearg : (goal * string) * token -> term
  val train_fixed : real -> (term * real list) list list -> tnn

end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1