GitHub repository: p-doom/her-ex
Primary language: Rust
Description: Goal-Conditionally Self-Improving Formal Mathematics by Hindsight Relabelling