Learning to Repair Lean Proofs from Compiler Feedback https://arxiv.org/abs/2602.02990
Learning to Repair Lean Proofs from Compiler Feedback…
Из этого канала
- #5947ProofOptimizer: Training Language Models to Simplify Proofs without Human…
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations https://arxiv.org/abs/2510.15700…
- #5948@spiritualattunement https://huggingface.co/nvidia/music-flamingo-2601-hf
@spiritualattunement https://huggingface.co/nvidia/music-flamingo-2601-hf
- #5949давай завтра созвонимся?
давай завтра созвонимся?
- #5945берта потюнили он используется в процессе доказательств помогает искать более…
берта потюнили он используется в процессе доказательств помогает искать более релевантные стратегии
- #5944leandojo выкинул. он не работает с новыми версиями lean4 и…
leandojo выкинул. он не работает с новыми версиями lean4 и https://github.com/leanprover-community/mathlib4 тут теоремы и тактики для доказательств пайплайн из…