Jump to links:

- Problem
- Proof from model trained to reason up to 20 steps:
- Proof from model trained to reason up to 12 steps:
- Proof from model trained to reason up to 5 steps, with hint:

*Note:*

This page is used to host some illustrations and animations for my schoolwork, there will not be any technical details provided.

How to read the proofs:

- Each row is a single step of reasoning.
- First column: The current sketch.
- Second column: Where to model is attending to.
- Third column: The action to take.

### Problem

Let be mid point of , go through and intersect at .

Prove that is the mid point of .

### Proof from model trained to reason up to 20 steps:

GIF proof:

Static proof:

### Proof from model trained to reason up to 12 steps:

GIF proof:

Static proof:

### Proof from model trained to reason up to 5 steps, with hint:

GIF proof:

Static proof: