The following pages link to PLAGIATOR (Q14473):
Displaying 6 items.
- Octopus: combining learning and parallel search (Q861370) (← links)
- On terminating lemma speculations. (Q1854370) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- (Q4524774) (← links)
- Termination of theorem proving by reuse (Q4647503) (← links)
- Plagiator — A learning prover (Q5234707) (← links)