यह शोधपत्र कृत्रिम बुद्धिमत्ता (एआई) को औपचारिक विधियों (एफएम) पर लागू करने के अनुसंधान रुझानों का परीक्षण करते हुए एक व्यवस्थित मानचित्रण अध्ययन प्रस्तुत करता है। यह इस बात की जाँच करता है कि एआई एफएम में कैसे योगदान दे सकता है और 2019 और 2023 के बीच प्रकाशित शोध पत्रों को लक्षित करते हुए भविष्य के अनुसंधान की दिशाएँ सुझाता है। चार प्रमुख डेटाबेस खोजे गए और समावेशन/बहिष्करण मानदंडों का उपयोग करके 189 अध्ययनों का विश्लेषण किया गया। विश्लेषण से पता चला कि जहाँ प्रमेय सिद्धि में एआई का उपयोग प्रमुख है, वहीं अन्य एफएम उपक्षेत्रों पर अपेक्षाकृत कम शोध हुआ है। एआई-आधारित एफएम पर वर्तमान शोध अपनी प्रारंभिक अवस्था में है, जिसमें सैद्धांतिक आधार, मानक मानक और केस स्टडी का अभाव है। साझा शिक्षण डेटासेट और मानक मानक मानकों की कमी को भी एक चुनौती के रूप में पहचाना गया।
