AMiner
Kategori:Academic researchFiyatlandırma: Ücretsiz
Açıklama
AI destekli akademik araştırma ve teknoloji istihbarat platformu; makale arama, patent arama, literatür takibi ve akademisyen profili oluşturma sunar.
İlgili araçlar
alphaxiv
arXiv platformuna dayalı, kullanıcıların makalenin bağlantı alan adını (arxiv.org yerine alphaxiv.org) doğrudan makale sayfasında değiştirerek satır satır yorum yapmasına, soru sormasına ve gerçek zamanlı etkileşim kurmasına olanak tanıyan açık bir akademik tartışma topluluğu. Ayrıca Ask AI ve AI tarafından oluşturulan makale blogları gibi AI özellikleri sunar.
ÜcretsizZiyaret et →
Lean 4
Etkileşimli bir teorem kanıtlayıcı ve fonksiyonel programlama dili olup, resmi AI araştırmaları ve otomatik teorem kanıtlama (ör. AlphaProof, DeepSeek-Prover) için çekirdek altyapı görevi görür.
Ücretsiz