SMLP: Symbolic Machine Learning Prover.

Franz Brauße Zurab Khasidashvili Konstantin Korovin

Published in: CoRR (2024)

Keyphrases

theorem proving
theorem prover
automated theorem proving
first order logic
proof search
genetic algorithm
expert systems
natural language processing
sufficient conditions
state space
dynamical systems
incomplete information