ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations https://arxiv.org/abs/2510.15700 https://www.alphaxiv.org/overview/2510.15700 https://proof-optimizer.github.io/
ProofOptimizer: Training Language Models to Simplify Proofs without Human…
0 viewsОткрыть в Telegram →
Из этого канала
- #5948@spiritualattunement https://huggingface.co/nvidia/music-flamingo-2601-hf
@spiritualattunement https://huggingface.co/nvidia/music-flamingo-2601-hf
- #5949давай завтра созвонимся?
давай завтра созвонимся?
- #5950если не занят
если не занят
- #5946Learning to Repair Lean Proofs from Compiler Feedback…
Learning to Repair Lean Proofs from Compiler Feedback https://arxiv.org/abs/2602.02990
- #5945берта потюнили он используется в процессе доказательств помогает искать более…
берта потюнили он используется в процессе доказательств помогает искать более релевантные стратегии