Lean 4
Kategori:Academic researchHarga: Gratis
Deskripsi
Pembuktian teorema interaktif dan bahasa pemrograman fungsional, yang berfungsi sebagai infrastruktur inti untuk penelitian AI formal dan pembuktian teorema otomatis (misalnya, AlphaProof, DeepSeek-Prover).
Alat Terkait
AMiner
Platform riset akademis dan intelijen teknologi bertenaga AI yang menyediakan pencarian makalah, pencarian paten, pelacakan literatur, dan profil peneliti.
GratisKunjungi →
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 →