Combining Proofs to form Different Proofs

Introduction

• Background
• Overview of the Process
• Proofs in PML

Evaluating Proofs

• No Counting
• Jaccard Similarities
• Sets of Proofs
• How Different is a Proof?

Combining Proofs

• Single Combining Steps
• Hill Climbing
• A Case Study

The End - Any Questions?