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.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准