берта потюнили он используется в процессе доказательств помогает искать более релевантные стратегии
берта потюнили он используется в процессе доказательств помогает искать более…
0 viewsОткрыть в Telegram →
Из этого канала
- #5946Learning to Repair Lean Proofs from Compiler Feedback…
Learning to Repair Lean Proofs from Compiler Feedback https://arxiv.org/abs/2602.02990
- #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
- #5944leandojo выкинул. он не работает с новыми версиями lean4 и…
leandojo выкинул. он не работает с новыми версиями lean4 и https://github.com/leanprover-community/mathlib4 тут теоремы и тактики для доказательств пайплайн из…
- #5942leandojov2 хочет всегда от пользователя гитхаб аксес токен) так что нам не…
leandojov2 хочет всегда от пользователя гитхаб аксес токен) так что нам не пойдет