Keyphrases
- proof search
- monte carlo
- theorem prover
- theorem proving
- linear logic
- inference rules
- search procedure
- proof procedure
- markov chain
- monte carlo simulation
- importance sampling
- sequent calculus
- adaptive sampling
- monte carlo tree search
- particle filter
- variance reduction
- point processes
- markovian decision
- propositional logic
- monte carlo methods
- state space
- search space
- knowledge base