GitHub repository: p-doom/all-you-need-is-her
Description: Goal-Conditionally Self-Improving Formal Mathematics by Hindsight Relabelling