Contents

Introduction

• Automated Theorem Proving
• The TPTP
• Avoiding the Dangers
• HR

Generating Problems

• The First Attempt
• The Second Attempt

For the TPTP

• Utility
• Results
• Analysis

Conclusion