critic-guided-formalization

Improve formal theorem proofs by treating criticism—evaluation of semantic correctness—as a learning signal. Train critic models to distinguish correct from incorrect formalizations, then use their feedback to guide RL-based proof generation.

Independent GitHub snapshot · Automated classification · Original documentation governs