AMiner
Kategori:Academic researchHarga: Gratis
Deskripsi
Platform riset akademis dan intelijen teknologi bertenaga AI yang menyediakan pencarian makalah, pencarian paten, pelacakan literatur, dan profil peneliti.
Alat Terkait
alphaxiv
Komunitas diskusi akademis terbuka yang berbasis pada platform arXiv yang memungkinkan pengguna untuk berkomentar baris demi baris, mengajukan pertanyaan, dan berinteraksi secara real-time dengan mengganti domain tautan makalah (arxiv.org dengan alphaxiv.org) langsung di halaman makalah. Dan menyediakan fitur AI seperti Ask AI dan blog artikel yang dihasilkan AI.
GratisKunjungi →
Lean 4
Pembuktian teorema interaktif dan bahasa pemrograman fungsional, yang berfungsi sebagai infrastruktur inti untuk penelitian AI formal dan pembuktian teorema otomatis (misalnya, AlphaProof, DeepSeek-Prover).
Gratis