Lean 4
বিভাগ:Academic researchমূল্য: ফ্রি
বিবরণ
একটি ইন্টারেক্টিভ থিওরেম প্রুভার এবং ফাংশনাল প্রোগ্রামিং ভাষা, যা আনুষ্ঠানিক AI গবেষণা এবং স্বয়ংক্রিয় থিওরেম প্রুভিং (যেমন, AlphaProof, DeepSeek-Prover) এর মূল অবকাঠামো হিসেবে কাজ করে।
সম্পর্কিত টুল
AMiner
AI-চালিত একাডেমিক গবেষণা এবং টেক ইন্টেলিজেন্স প্ল্যাটফর্ম, যা পেপার সার্চ, পেটেন্ট সার্চ, সাহিত্য ট্র্যাকিং এবং স্কলার প্রোফাইলিং প্রদান করে।
ফ্রিভিজিট →
alphaxiv
arXiv প্ল্যাটফর্মের উপর ভিত্তি করে একটি উন্মুক্ত একাডেমিক আলোচনা সম্প্রদায় যা ব্যবহারকারীদের কাগজের লিঙ্কিং ডোমেন (arxiv.org থেকে alphaxiv.org) সরাসরি কাগজের পৃষ্ঠায় প্রতিস্থাপন করে লাইন-বাই-লাইন মন্তব্য করতে, প্রশ্ন জিজ্ঞাসা করতে এবং রিয়েল-টাইমে যোগাযোগ করতে দেয়। এবং Ask AI এবং AI-জেনারেটেড আর্টিকেল ব্লগের মতো AI বৈশিষ্ট্যগুলি সরবরাহ করে।
ফ্রিভিজিট →