2025-11-15T14:04:11.886865

Probabilistic Explanations for Linear Models

Subercaseaux, Arenas, Meel
Formal XAI is an emerging field that focuses on providing explanations with mathematical guarantees for the decisions made by machine learning models. A significant amount of work in this area is centered on the computation of "sufficient reasons". Given a model $M$ and an input instance $\vec{x}$, a sufficient reason for the decision $M(\vec{x})$ is a subset $S$ of the features of $\vec{x}$ such that for any instance $\vec{z}$ that has the same values as $\vec{x}$ for every feature in $S$, it holds that $M(\vec{x}) = M(\vec{z})$. Intuitively, this means that the features in $S$ are sufficient to fully justify the classification of $\vec{x}$ by $M$. For sufficient reasons to be useful in practice, they should be as small as possible, and a natural way to reduce the size of sufficient reasons is to consider a probabilistic relaxation; the probability of $M(\vec{x}) = M(\vec{z})$ must be at least some value $δ\in (0,1]$, for a random instance $\vec{z}$ that coincides with $\vec{x}$ on the features in $S$. Computing small $δ$-sufficient reasons ($δ$-SRs) is known to be a theoretically hard problem; even over decision trees--traditionally deemed simple and interpretable models--strong inapproximability results make the efficient computation of small $δ$-SRs unlikely. We propose the notion of $(δ, ε)$-SR, a simple relaxation of $δ$-SRs, and show that this kind of explanation can be computed efficiently over linear models.
academic

রৈখিক মডেলের জন্য সম্ভাব্যতামূলক ব্যাখ্যা

মৌলিক তথ্য

  • পেপার আইডি: 2501.00154
  • শিরোনাম: রৈখিক মডেলের জন্য সম্ভাব্যতামূলক ব্যাখ্যা
  • লেখক: বার্নার্ডো সাবারকেসক্স (কার্নেগি মেলন বিশ্ববিদ্যালয়), মার্সেলো এরেনাস (পিইউসি চিলি, আইএমএফডি চিলি, রিলেশনাল এআই), কুলদীপ এস. মিল (জর্জিয়া প্রযুক্তি প্রতিষ্ঠান, টরন্টো বিশ্ববিদ্যালয়)
  • শ্রেণীবিভাগ: cs.AI (কৃত্রিম বুদ্ধিমত্তা), cs.CC (গণনামূলক জটিলতা)
  • প্রকাশনার সময়: ৩ জানুয়ারি, ২০২৫
  • পেপার লিঙ্ক: https://arxiv.org/abs/2501.00154

সারসংক্ষেপ

এই পেপারটি ফর্মাল এক্সপ্লেইনেবল এআই (Formal XAI) এ "পর্যাপ্ত কারণ" গণনার সমস্যা অধ্যয়ন করে। একটি মডেল M এবং ইনপুট উদাহরণ x দেওয়া হলে, পর্যাপ্ত কারণ হল x এর বৈশিষ্ট্যের একটি উপসেট S যেখানে S তে x এর সাথে সামঞ্জস্যপূর্ণ যেকোনো উদাহরণ z এর জন্য M(x)=M(z)। পর্যাপ্ত কারণের আকার হ্রাস করার জন্য, লেখকরা সম্ভাব্যতামূলক শিথিলকরণ বিবেচনা করেন: যখন একটি র‍্যান্ডম উদাহরণ z বৈশিষ্ট্য সেটে x এর সাথে সামঞ্জস্যপূর্ণ হয় তখন M(x)=M(z) এর সম্ভাবনা কমপক্ষে δ∈(0,1] হওয়া প্রয়োজন। ছোট δ-পর্যাপ্ত কারণ (δ-SRs) গণনা করা তাত্ত্বিকভাবে কঠিন, এমনকি সিদ্ধান্ত গাছের মতো "ব্যাখ্যাযোগ্য" মডেলের জন্যও শক্তিশালী অ-অনুমানযোগ্যতার ফলাফল বিদ্যমান। এই পেপারটি (δ,ε)-SR ধারণা প্রস্তাব করে, যা δ-SRs এর একটি সহজ শিথিলকরণ, এবং প্রমাণ করে যে এই ধরনের ব্যাখ্যা রৈখিক মডেলে দক্ষতার সাথে গণনা করা যায়।

গবেষণার পটভূমি এবং প্রেরণা

  1. মূল সমস্যা: মেশিন লার্নিং মডেলের সিদ্ধান্তের জন্য গাণিতিক গ্যারান্টি সহ ছোট আকারের ব্যাখ্যা কীভাবে প্রদান করতে হয়। ঐতিহ্যবাহী পর্যাপ্ত কারণ ১০০% নিশ্চিততা প্রয়োজন করে, কিন্তু এটি প্রায়শই অত্যন্ত বড় ব্যাখ্যার দিকে পরিচালিত করে যা মানুষের বোঝার জন্য অনুপযুক্ত।
  2. সমস্যার গুরুত্ব:
    • মিলার (১৯৫৬) নির্দেশ করেছেন যে নয়টিরও বেশি বৈশিষ্ট্যের ব্যাখ্যা মানুষের জন্য খুব বড় হতে পারে
    • অভিজ্ঞতামূলক গবেষণা দেখায় যে ব্যাখ্যা সংক্ষিপ্ত হওয়া উচিত (নারায়ণান এট আল., ২০১৮; লেজ এট আল., ২০১৯)
    • বাস্তব প্রয়োগে, ব্যবহারকারীরা সম্ভাব্যতা গ্যারান্টির ক্ষুদ্র পার্থক্যের চেয়ে ব্যাখ্যার আকারের প্রতি বেশি যত্নশীল
  3. বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
    • সর্বনিম্ন δ-SRs গণনা করা এমনকি সিদ্ধান্ত গাছের জন্যও NP-কঠিন
    • রৈখিক মডেলের জন্য, সঠিক সম্ভাবনা গণনা #P-কঠিন
    • শক্তিশালী অ-অনুমানযোগ্যতার ফলাফল বিদ্যমান: বহুপদী সময়ে ভাল অনুমান অনুপাত পাওয়া যায় না
  4. গবেষণার প্রেরণা:
    • ব্যবহারকারীরা সম্ভাব্যতা গ্যারান্টির ক্ষুদ্র পরিবর্তনের চেয়ে ব্যাখ্যার আকারের প্রতি বেশি সংবেদনশীল
    • তাত্ত্বিক সামর্থ্য এবং ব্যবহারিকতার মধ্যে ভারসাম্য খুঁজে পাওয়ার প্রয়োজন
    • রৈখিক মডেলের বিশেষ কাঠামো দক্ষ অ্যালগরিদম অনুমতি দিতে পারে

মূল অবদান

  1. (δ,ε)-ন্যূনতম পর্যাপ্ত কারণ ধারণা প্রস্তাব: সম্ভাব্যতা গ্যারান্টি δ-ε, δ+ε পরিসরে পরিবর্তিত হতে অনুমতি দেওয়ার শিথিলকরণ সংস্করণ
  2. রৈখিক মডেলে সামর্থ্য প্রমাণ: (δ,ε)-min-SR গণনার জন্য বহুপদী সময় অ্যালগরিদম প্রদান করা, চালনার সময় Õ(n/ε²δ²)
  3. তাত্ত্বিক বিভাজন ফলাফল প্রতিষ্ঠা: প্রমাণ করা যে সিদ্ধান্ত গাছে এই সমস্যা এখনও কঠিন, রৈখিক মডেলের বিশেষত্ব তুলে ধরা
  4. স্থানীয় ন্যূনতমতা সমতা প্রমাণ: রৈখিক মডেলের জন্য, প্রতিটি স্থানীয় ন্যূনতম δ-SR হল উপসেট ন্যূনতম δ-SR
  5. অনুমান ফাঁক বিশ্লেষণ: প্রমাণ করা যে সম্ভাব্যতা পরামিতির ছোট পরিবর্তন ব্যাখ্যার আকারে সূচকীয় পার্থক্য হতে পারে

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

ইনপুট:

  • রৈখিক মডেল L=(w,θ)\mathcal{L} = (\mathbf{w}, \theta), যেখানে w∈Qn\mathbf{w} \in \mathbb{Q}^n, θ∈Q\theta \in \mathbb{Q}
  • উদাহরণ x∈{0,1}n\mathbf{x} \in \{0,1\}^n
  • সম্ভাব্যতা থ্রেশহোল্ড δ∈(0,1)\delta \in (0,1) এবং ত্রুটি সহনশীলতা ε∈(0,1)\varepsilon \in (0,1)

আউটপুট:

  • মান δ∗∈[δ−ε,δ+ε]\delta^* \in [\delta-\varepsilon, \delta+\varepsilon]
  • ন্যূনতম δ∗\delta^*-পর্যাপ্ত কারণ y\mathbf{y}

সীমাবদ্ধতা:

  • L(x)=1\mathcal{L}(\mathbf{x}) = 1 যদি এবং শুধুমাত্র যদি x⋅w≥θ\mathbf{x} \cdot \mathbf{w} \geq \theta
  • আংশিক উদাহরণ y⊑x\mathbf{y} \sqsubseteq \mathbf{x} অজানা মান নির্দেশ করতে ⋆\star ব্যবহার করে

মডেল স্থাপত্য

১. বৈশিষ্ট্য স্কোরিং প্রক্রিয়া

রৈখিক মডেল L=(w,θ)\mathcal{L} = (\mathbf{w}, \theta) এবং উদাহরণ x\mathbf{x} এর জন্য, বৈশিষ্ট্য ii এর স্কোর সংজ্ঞায়িত করুন:

si=wi⋅(2xi−1)⋅(2L(x)−1)s_i = w_i \cdot (2x_i - 1) \cdot (2\mathcal{L}(\mathbf{x}) - 1)

স্কোরের চিহ্ন নির্দেশ করে যে বৈশিষ্ট্য শ্রেণীবিভাগকে "সাহায্য" (+1) করে নাকি "ক্ষতি" (-1) করে, মাত্রা বৈশিষ্ট্য ওজনের সাথে সমানুপাতিক।

২. লোভী বৈশিষ্ট্য নির্বাচন

মূল লেম্মা: রৈখিক মডেলের জন্য, সমান বিতরণের অধীনে, স্কোর হ্রাসমান ক্রমে বৈশিষ্ট্য নির্বাচন করা সর্বোত্তম।

নির্দিষ্টভাবে, যদি y(0),…,y(n)\mathbf{y}^{(0)}, \ldots, \mathbf{y}^{(n)} সর্বোচ্চ স্কোরের প্রথম kk বৈশিষ্ট্য দ্বারা সংজ্ঞায়িত আংশিক উদাহরণ হয়, তাহলে:

Pr⁡z∼U(y(k+1))[L(z)=L(x)]≥Pr⁡z∼U(y(k))[L(z)=L(x)]\Pr_{z \sim U(\mathbf{y}^{(k+1)})}[\mathcal{L}(z) = \mathcal{L}(\mathbf{x})] \geq \Pr_{z \sim U(\mathbf{y}^{(k)})}[\mathcal{L}(z) = \mathcal{L}(\mathbf{x})]

৩. মন্টে কার্লো অনুমান

হোয়েফডিং অসমতা ব্যবহার করে সম্ভাব্যতা অনুমান করুন:

m=log⁡2n2ε2δ2log⁡2log⁡nβm = \frac{\log 2n}{2\varepsilon^2\delta^2} \log\frac{2\log n}{\beta} নমুনার জন্য, আমাদের আছে:

Pr⁡[∣p^(m)−p∣≤εδ/log⁡n]≥1−β/log⁡n\Pr[|\hat{p}(m) - p| \leq \varepsilon\delta/\log n] \geq 1 - \beta/\log n

প্রযুক্তিগত উদ্ভাবনী পয়েন্ট

  1. র‍্যান্ডমাইজড সম্ভাব্যতা থ্রেশহোল্ড: অ্যালগরিদম δ∗∼U([δ−ε,δ+ε])\delta^* \sim U([\delta-\varepsilon, \delta+\varepsilon]) থেকে র‍্যান্ডমভাবে নির্বাচন করে, কঠিন উদাহরণ এড়ায়
  2. দ্বিমুখী অনুসন্ধান কৌশল: সম্ভাব্যতা একঘেয়েতা ব্যবহার করে দক্ষ অনুসন্ধান
  3. তাত্ত্বিক গ্যারান্টির শিথিলকরণ: ব্যবহারিকতা বজায় রেখে বহুপদী সময় জটিলতা অর্জন করা

পরীক্ষামূলক সেটআপ

অ্যালগরিদম বর্ণনা

অ্যালগরিদম ১: LinearMonteCarloExplainer

ইনপুট: রৈখিক মডেল L, উদাহরণ x, পরামিতি δ, ε, β
১. δ* ← [δ-ε, δ+ε] থেকে সমানভাবে নমুনা করুন
२. সমস্ত বৈশিষ্ট্য স্কোর s_i গণনা করুন
३. আংশিক উদাহরণ ক্রম y^(0), ..., y^(n) তৈরি করুন
४. নমুনা সংখ্যা সেট করুন m = (log 2n)/(2ε²δ²) log(2log n/β)
५. অনুমানিত সম্ভাবনা ≥ δ* হওয়ার জন্য ন্যূনতম k খুঁজে পেতে দ্বিমুখী অনুসন্ধান ব্যবহার করুন
६. (δ*, y^(k*)) ফেরত দিন

তাত্ত্বিক বিশ্লেষণ

প্রধান উপপাদ্য: রৈখিক মডেল L\mathcal{L} এবং ইনপুট x\mathbf{x} দেওয়া হলে, সময় O~(nε2δ2)\tilde{O}(\frac{n}{\varepsilon^2\delta^2}) এ সম্ভাবনা 1−β1-\beta সহ (δ,ε)-min-SR গণনা করা যায়।

জটিলতা বিশ্লেষণ

  • সময় জটিলতা: O(log⁡n⋅m⋅n)=O~(nε2δ2)O(\log n \cdot m \cdot n) = \tilde{O}(\frac{n}{\varepsilon^2\delta^2})
  • স্থান জটিলতা: O(n)O(n)
  • সাফল্যের সম্ভাবনা: 1−β1-\beta

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

  1. সামর্থ্য তুলনা:
    • রৈখিক মডেল: বহুপদী সময়ে সমাধানযোগ্য
    • সিদ্ধান্ত গাছ: শক্তিশালী অ-অনুমানযোগ্যতা (যদি না SAT প্রায়-বহুপদী সময়ে সমাধানযোগ্য হয়)
    • স্নায়ু নেটওয়ার্ক: NPPP-কঠিন
  2. নির্দিষ্ট উদাহরণ যাচাইকরণ:
    • উদাহরণ ২ দেখায় যে ০.৯৯৯৯৯৯-SR সর্বনিম্ন ১-SR এর চেয়ে ২৫১ গুণ ছোট হতে পারে
    • উদাহরণ ३ লোভী নির্বাচন কৌশলের সঠিকতা যাচাই করে

তাত্ত্বিক আবিষ্কার

  1. বিভাজন ফলাফল: সিদ্ধান্ত গাছের তুলনায় রৈখিক মডেলের মৌলিক সুবিধা প্রমাণ করা
  2. স্থানীয় বনাম বৈশ্বিক সর্বোত্তম: রৈখিক মডেলের জন্য, স্থানীয় ন্যূনতম δ-SR হল উপসেট ন্যূনতম δ-SR
  3. অনুমান ফাঁক: সম্ভাব্যতা পরামিতির ছোট পরিবর্তন ব্যাখ্যার আকারে Ω(n1/2−ϵ)\Omega(n^{1/2-\epsilon}) গুণ পার্থক্য হতে পারে

কেস বিশ্লেষণ

উদাহরণ ३ বিস্তারিত বিশ্লেষণ:

  • উদাহরণ: x=(1,0,0,1,1)\mathbf{x} = (1,0,0,1,1)
  • ওজন: w=(5,1,−3,2,−1)\mathbf{w} = (5,1,-3,2,-1), থ্রেশহোল্ড: θ=5\theta = 5
  • বৈশিষ্ট্য স্কোর: (5,−1,3,2,−1)(5,-1,3,2,-1)
  • সর্বোত্তম ২-বৈশিষ্ট্য ব্যাখ্যা: {1,3}\{1,3\}, সম্ভাবনা ७/८

সম্পর্কিত কাজ

পর্যাপ্ত কারণ গণনা

  1. ডারউইচ এবং হার্থ (२०२०): প্রথম পর্যাপ্ত কারণ ধারণা ফর্মালাইজ করা
  2. বার্সেলো এট আল. (२०२०): বিভিন্ন মডেল ক্লাসের জটিলতা শ্রেণীবিন্যাস প্রতিষ্ঠা করা
  3. এরেনাস এট আল. (२०२२): সিদ্ধান্ত গাছে δ-SRs এর কঠিনতা প্রমাণ করা

সম্ভাব্যতামূলক ব্যাখ্যা

  1. ওয়ালডচেন এট আল. (२०२१): δ-পর্যাপ্ত কারণ ধারণা প্রবর্তন করা
  2. ইজ্জা এট আল. (२०२३): সম্ভাব্যতামূলক পেট ব্যাখ্যার গণনা অধ্যয়ন করা
  3. কোজাচিনস্কি (२०२३): সিদ্ধান্ত গাছের অ-অনুমানযোগ্যতা ফলাফল প্রতিষ্ঠা করা

রৈখিক মডেল ব্যাখ্যা

  1. মার্কেস-সিলভা এট আল. (२०२०): নাইভ বেয়েস ইত্যাদি রৈখিক শ্রেণীবিভাগকারী অধ্যয়ন করা
  2. ব্লাঙ্ক এট আল. (२०२१): সার্টিফিকেট জটিলতার সাপেক্ষে ছোট ব্যাখ্যা

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. তাত্ত্বিক অগ্রগতি: প্রথমবারের মতো রৈখিক মডেলে সম্ভাব্যতামূলক ব্যাখ্যার বহুপদী সময় গণনাযোগ্যতা প্রমাণ করা
  2. ব্যবহারিক মূল্য: (δ,ε)-SR ধারণা তাত্ত্বিক গ্যারান্টি বজায় রেখে ব্যবহারিকতা উন্নত করে
  3. মডেল বিভাজন: ব্যাখ্যা গণনার জটিলতায় রৈখিক মডেল এবং সিদ্ধান্ত গাছের মধ্যে মৌলিক পার্থক্য প্রতিষ্ঠা করা

সীমাবদ্ধতা

  1. ব্যবহারিক দক্ষতা: উচ্চ-মাত্রিক ডেটার জন্য (যেমন n=500), যখন ε=0.1, δ=0.01 গণনা এখনও ব্যয়বহুল
  2. বিতরণ অনুমান: অ্যালগরিদম সমান বিতরণ অনুমান করে, পণ্য বিতরণে সম্প্রসারণ নতুন কৌশল প্রয়োজন
  3. বৈশিষ্ট্য ধরন: শুধুমাত্র বাইনারি বৈশিষ্ট্য বিবেচনা করা, বাস্তব প্রয়োগ ক্রমাগত এবং শ্রেণীগত বৈশিষ্ট্য পরিচালনা প্রয়োজন

ভবিষ্যত দিকনির্দেশনা

  1. অ্যালগরিদম অপ্টিমাইজেশন: ১/ε এবং ১/δ এর উপর নির্ভরতা হ্রাস করা
  2. বিতরণ সম্প্রসারণ: পণ্য বিতরণ এবং আরও সাধারণ বৈশিষ্ট্য বিতরণ পরিচালনা করা
  3. বৈশিষ্ট্য ধরন: মিশ্র বৈশিষ্ট্য ধরনের "সম্প্রসারিত রৈখিক শ্রেণীবিভাগকারী" এ সম্প্রসারণ করা
  4. প্রশ্ন ভাষা: সম্ভাব্যতামূলক ব্যাখ্যা প্রশ্ন ভাষা ঘোষণা করা ডিজাইন করা

গভীর মূল্যায়ন

সুবিধা

  1. উল্লেখযোগ্য তাত্ত্বিক অবদান:
    • প্রথমবারের মতো রৈখিক মডেল সম্ভাব্যতামূলক ব্যাখ্যার সামর্থ্য প্রতিষ্ঠা করা
    • সম্পূর্ণ জটিলতা বিশ্লেষণ এবং অ্যালগরিদম ডিজাইন প্রদান করা
    • গুরুত্বপূর্ণ বিভাজন ফলাফল প্রমাণ করা
  2. পদ্ধতি উদ্ভাবনী:
    • (δ,ε)-SR ধারণা তাত্ত্বিক এবং ব্যবহারিকতা দক্ষতার সাথে ভারসাম্য রাখে
    • র‍্যান্ডমাইজেশন কৌশল কার্যকরভাবে কঠিন উদাহরণ এড়ায়
    • লোভী কৌশলের তাত্ত্বিক প্রমাণ মার্জিত এবং গভীর
  3. গভীর বিশ্লেষণ:
    • বিস্তারিত গাণিতিক প্রমাণ প্রদান করা
    • একাধিক জটিলতা ব্যবস্থা বিবেচনা করা
    • সম্পর্কিত কাজের সাথে স্পষ্ট সংযোগ প্রতিষ্ঠা করা

অপূর্ণতা

  1. ব্যবহারিকতা সীমাবদ্ধতা:
    • অ্যালগরিদম পরামিতির প্রতি সংবেদনশীল, উচ্চ-মাত্রিক ক্ষেত্রে দক্ষতা দুর্বল
    • শুধুমাত্র বাইনারি বৈশিষ্ট্যের রৈখিক মডেলের জন্য প্রযোজ্য
    • সমান বিতরণ অনুমান বাস্তবে শক্তিশালী
  2. পরীক্ষামূলক যাচাইকরণ অপর্যাপ্ত:
    • বড় আকারের ডেটাসেটে পরীক্ষামূলক যাচাইকরণের অভাব
    • বিদ্যমান হিউরিস্টিক পদ্ধতির সাথে তুলনা নেই
    • তাত্ত্বিক ফলাফলের জন্য আরও অভিজ্ঞতামূলক সমর্থন প্রয়োজন
  3. সম্প্রসারণ সমস্যা:
    • আরও সাধারণ সেটিংসে সম্প্রসারণের জন্য প্রযুক্তিগত চ্যালেঞ্জ বড়
    • বাস্তব এমএল পাইপলাইনে প্রযোজ্যতা অস্পষ্ট

প্রভাব

  1. তাত্ত্বিক প্রভাব: ফর্মাল এক্সএআই ক্ষেত্রে গুরুত্বপূর্ণ ইতিবাচক ফলাফল প্রদান করা, যা ক্ষেত্রটি প্রধানত কঠিনতায় ফোকাস করার প্রবণতা ভেঙে দেয়
  2. পদ্ধতি অনুপ্রেরণা: র‍্যান্ডমাইজেশন এবং শিথিলকরণ কৌশল অন্যান্য কঠিন সমস্যার সমাধানে অনুপ্রাণিত করতে পারে
  3. ব্যবহারিক মূল্য: রৈখিক মডেলের ব্যাখ্যাযোগ্যতার জন্য তাত্ত্বিক ভিত্তি প্রদান করা

প্রযোজ্য পরিস্থিতি

  1. আর্থিক ঝুঁকি নিয়ন্ত্রণ: ঋণ সিদ্ধান্ত ব্যাখ্যার জন্য রৈখিক স্কোরিং মডেল
  2. চিকিৎসা নির্ণয়: রৈখিক রিগ্রেশন-ভিত্তিক ঝুঁকি মূল্যায়ন ব্যাখ্যা
  3. সুপারিশ সিস্টেম: রৈখিক সুপারিশ মডেলের বৈশিষ্ট্য গুরুত্ব বিশ্লেষণ
  4. আইনি সম্মতি: গাণিতিক গ্যারান্টি প্রয়োজনীয় স্বয়ংক্রিয় সিদ্ধান্ত ব্যাখ্যা

সংদর্ভ

  1. Darwiche, A. এবং Hirth, A. (२०२०). সিদ্ধান্তের পিছনের কারণ সম্পর্কে। ECAI २०२०.
  2. Barceló, P., Monet, M., Pérez, J., এবং Subercaseaux, B. (२०२०). গণনামূলক জটিলতার লেন্সের মাধ্যমে মডেল ব্যাখ্যাযোগ্যতা। NeurIPS २०२०.
  3. Wäldchen, S., MacDonald, J., Hauch, S., এবং Kutyniok, G. (२०२१). বাইনারি শ্রেণীবিভাগকারী সিদ্ধান্ত বোঝার গণনামূলক জটিলতা। JAIR.
  4. Arenas, M., Barceló, P., Romero Orth, M., এবং Subercaseaux, B. (२०२२). সিদ্ধান্ত গাছের জন্য সম্ভাব্যতামূলক ব্যাখ্যা গণনায়। NeurIPS २०२२.
  5. Kozachinskiy, A. (२०२३). সিদ্ধান্ত গাছের জন্য পর্যাপ্ত কারণের অ-অনুমানযোগ্যতা। arXiv:२३०४.०२७८१.

এই পেপারটি ফর্মাল এক্সপ্লেইনেবল এআই ক্ষেত্রে গুরুত্বপূর্ণ তাত্ত্বিক অবদান করে, প্রথমবারের মতো রৈখিক মডেলে সম্ভাব্যতামূলক ব্যাখ্যার সামর্থ্য প্রমাণ করে, যা ক্ষেত্রটিকে বিরল ইতিবাচক ফলাফল প্রদান করে। যদিও ব্যবহারিক দিক থেকে উন্নতির অবকাশ রয়েছে, তবে এর তাত্ত্বিক মূল্য এবং পদ্ধতি উদ্ভাবনী এটিকে ক্ষেত্রের একটি গুরুত্বপূর্ণ কাজ করে তোলে।