Index

A

AlphaZero (htps.PolicyType attribute)

B

backup_once (htps.SearchParams attribute)

backup_one_for_solved (htps.SearchParams attribute) bad (htps.SampleCritic attribute)

C

children (htps.EnvEffect attribute) (htps.Proof attribute) (htps.SampleEffect attribute) children_for_tactic (htps.EnvExpansion attribute) conclusion (htps.Theorem attribute) Context (class in htps)

context (htps.Theorem attribute) count_threshold (htps.SearchParams attribute) CountOverCounts (htps.QValueSolved attribute) CountOverCountsNoFPU (htps.QValueSolved attribute) critic (htps.SampleCritic attribute) critic_samples (htps.Result attribute) critic_subsampling_rate (htps.SearchParams attribute)

D

Depth (htps.Metric attribute)

depth_penalty (htps.SearchParams attribute) duration (htps.Tactic attribute)

E

early_stopping (htps.SearchParams attribute) early_stopping_solved_if_root_not_proven (htps.SearchParams attribute) effect_samples (htps.Result attribute) effect_subsampling_rate (htps.SearchParams attribute) effects (htps.EnvExpansion attribute) env_durations (htps.EnvExpansion attribute) EnvEffect (class in htps)

EnvExpansion (class in htps) error (htps.EnvExpansion attribute) expand_and_backup() (htps.HTPS method) expander_duration (htps.EnvExpansion attribute) expansions (htps.HTPS attribute) exploration (htps.SearchParams attribute)

F

from_json_str() (htps.EnvExpansion method) (htps.HTPS method)

G

generation_duration (htps.EnvExpansion attribute) get_json_str() (htps.EnvExpansion method) (htps.HTPS method) get_result() (htps.HTPS method)

goal (htps.EnvEffect attribute) (htps.Result attribute) (htps.SampleCritic attribute) (htps.SampleEffect attribute) (htps.SampleTactics attribute)

H

htps module

HTPS (class in htps) hypotheses (htps.Theorem attribute) Hypothesis (class in htps)

I

identifier (htps.Hypothesis attribute) InMinimalProof (htps.InProof attribute) InProof (class in htps) (htps.InProof attribute)

inproof (htps.SampleTactics attribute) is_done() (htps.HTPS method) is_error (htps.EnvExpansion attribute) is_expanding() (htps.HTPS method) is_valid (htps.Tactic attribute)

L

log_critic (htps.EnvExpansion attribute)

M

metadata (htps.Theorem attribute) Metric (class in htps) metric (htps.Result attribute) (htps.SearchParams attribute)

MinimalProof (htps.NodeMask attribute) MinimalProofSolving (htps.NodeMask attribute) module htps

N

namespaces (htps.Context attribute) no_critic (htps.SearchParams attribute) node_mask (htps.SearchParams attribute)

NodeMask (class in htps) NoMask (htps.NodeMask attribute) NotInProof (htps.InProof attribute) num_expansions (htps.SearchParams attribute)

O

One (htps.QValueSolved attribute) OneOverCounts (htps.QValueSolved attribute)

OneOverCountsNoFPU (htps.QValueSolved attribute) OneOverVirtualCounts (htps.QValueSolved attribute) only_learn_best_tactics (htps.SearchParams attribute)

P

past_tactics (htps.Theorem attribute) policy_temperature (htps.SearchParams attribute) policy_type (htps.SearchParams attribute) PolicyType (class in htps) priors (htps.EnvExpansion attribute)

Proof (class in htps) (htps.NodeMask attribute) proof (htps.Result attribute) proof_samples_tactics (htps.Result attribute) proven() (htps.HTPS method)

Q

q_estimate (htps.SampleCritic attribute) q_estimates (htps.SampleTactics attribute)

q_value_solved (htps.SearchParams attribute) QValueSolved (class in htps)

R

Result (class in htps)

RPO (htps.PolicyType attribute)

S

SampleCritic (class in htps) SampleEffect (class in htps) SampleTactics (class in htps) SearchParams (class in htps)

Size (htps.Metric attribute) solved (htps.SampleCritic attribute) Solving (htps.NodeMask attribute) succ_expansions (htps.SearchParams attribute)

T

Tactic (class in htps) tactic (htps.EnvEffect attribute) (htps.Proof attribute) (htps.SampleEffect attribute) tactic_init_value (htps.SearchParams attribute) tactic_p_threshold (htps.SearchParams attribute) tactic_sample_q_conditioning (htps.SearchParams attribute) tactic_samples (htps.Result attribute)

tactics (htps.EnvExpansion attribute) (htps.SampleTactics attribute) target_pi (htps.SampleTactics attribute) Theorem (class in htps) theorem (htps.Proof attribute) theorems_to_expand() (htps.HTPS method) thm (htps.EnvExpansion attribute) Time (htps.Metric attribute)

U

unique_string (htps.Tactic attribute) (htps.Theorem attribute)

V

value (htps.Hypothesis attribute) virtual_loss (htps.SearchParams attribute)

visit_count (htps.SampleCritic attribute) (htps.SampleTactics attribute)