Keyphrases
- program synthesis
- functional programs
- proof search
- theorem proving
- mathematical proofs
- complementarity problems
- inductive learning
- theorem prover
- machine learning
- equational theories
- explanation based learning
- inductive logic programming
- induction algorithms
- linear logic
- inductive reasoning
- multi agent
- feature selection
- formal proof
- formal proofs
- information retrieval
- data sets