@spiritualattunement https://huggingface.co/nvidia/music-flamingo-2601-hf

давай завтра созвонимся?

если не занят

такс, а во сколько?

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations https://arxiv.org/abs/2510.15700…

Learning to Repair Lean Proofs from Compiler Feedback https://arxiv.org/abs/2602.02990