প্রকল্প সম্পর্কে

Descent হলো Lean 4-এ লেখা একটি সফটওয়্যার প্রকল্প যা জিনতত্ত্বের জন্য একটি আনুষ্ঠানিক গাণিতিক কাঠামো প্রদান করে। এর প্রধান লক্ষ্য হলো পলিজেনিক স্কোর (PGS)-এর পোর্টেবিলিটি, যা বিভিন্ন জনগোষ্ঠীতে তাদের নির্ভুলতা এবং সীমাবদ্ধতা সম্পর্কিত তিনটি মূল প্রশ্নের সমাধান করে। এই রিপোজিটরিতে `OpenQuestions.lean`-এ উন্নত কঠোর প্রমাণ রয়েছে যা ব্যক্তিগত-ক্ষতি তথ্য এবং নয়েজ শ্রেণীবদ্ধ করে। এই প্রমাণগুলি নির্দিষ্ট দ্বিতীয় মোমেন্ট এবং জিনগত ইনপুটে তীক্ষ্ণ অর্জনযোগ্য পরিসর প্রতিষ্ঠা করে, সসীম বিবর্তনীয় বা রিপোর্টিং ক্লোজার চিহ্নিত করে এবং মেট্রিক-ক্রম ও সিদ্ধান্ত-ব্যয়ের বিপরীত সম্পর্ক নির্ধারণ করে। তাত্ত্বিক ডোমেইনগুলির মধ্যে তথ্য উপপাদ্যের জন্য নির্বিচারে বর্গ-সমাকলনযোগ্য ক্ষতি এবং তীক্ষ্ণ পরিসরের জন্য স্পষ্ট সসীম মডেল শ্রেণি অন্তর্ভুক্ত। অতিরিক্তভাবে, গাউসিয়ান ক্ষতি নয়েজ গাউসিয়ান মাপ থেকে উদ্ভূত। `CheckThreeQuestions.lean`-এ একটি সম্মিলিত অ্যাক্সিওম অডিট প্রদান করা হয়েছে। পলিজেনিক স্কোর নির্ভুলতার জনসংখ্যাগত পূর্বাভাস সম্পর্কিত বিস্তারিত ফলাফল এবং সীমাবদ্ধতার জন্য, ব্যবহারকারীদের `UNIVERSAL_PORTABILITY.md` ডকুমেন্টেশনে নির্দেশ করা হয়েছে। ### বিল্ডিং প্রকল্পটি বিল্ড করতে, নিম্নলিখিত কমান্ডগুলি চালান: ```sh lake exe cache get lake build Descent ValidationShared ``` ### অবদান অবদান স্বাগত। তবে, কঠোর স্পেসিফিকেশন প্রযোজ্য: - মডেল ফিট করার জন্য সিমুলেশন কখনও ব্যবহার করা যাবে না; এগুলি শুধুমাত্র বিদ্যমান ডেরিভেশন যাচাইয়ের জন্য। - শুধুমাত্র তিনটি অ্যাক্সিওম অনুমোদিত: `propext`, `Classical.choice`, এবং `Quot.sound`। ### লাইসেন্স প্রকল্পটি Apache-2.0-এর অধীনে লাইসেন্সপ্রাপ্ত।