AMiner
Kategori:Academic researchHarga: Percuma
Penerangan
Platform penyelidikan akademik dan kecerdasan teknologi berkuasa AI yang menyediakan carian kertas, carian paten, penjejakan literatur, dan profil sarjana.
Alat Berkaitan
alphaxiv
Komuniti perbincangan akademik terbuka berdasarkan platform arXiv yang membolehkan pengguna memberi komen baris demi baris, bertanya soalan, dan berinteraksi secara masa nyata dengan menggantikan domain pautan kertas (arxiv.org dengan alphaxiv.org) terus di halaman kertas. Dan menyediakan ciri AI seperti Ask AI dan blog artikel yang dijana AI.
PercumaLawati →
Lean 4
Pembukti teorem interaktif dan bahasa pengaturcaraan berfungsi, yang berfungsi sebagai infrastruktur teras untuk penyelidikan AI formal dan pembuktian teorem automatik (cth., AlphaProof, DeepSeek-Prover).
Percuma