Simplification

#Article #NLP #LanguageModel #Mathematics #PostTraining #Proofs
Issue Date: 2025-10-22 ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations, Gu+, 2025.10 Comment

pj page: https://proof-optimizer.github.io

LLMの通常利用時の応答も（おそらくベンチマークに最適化されているせいで）長すぎると思っているけど、数学の証明も長いんだなあ、と感じた