arXiv'de iki yeni yapay zekâ makalesi: PaperFormalizer ve PaperScorer
arXiv üzerinde iki yeni yapay zekâ makalesi yayımlanmış: PaperFormalizer araştırma makalelerinin Lean ile doğrulanmasını otomatikleştiriyor, PaperScorer ise kabul-red kararlarını tahmin ediyor.