BODHI: Precise OS Kernel Specification Inference
यह शोध पत्र BODHI को प्रस्तुत करता है, जो एक डोमेन नॉलेज प्रॉम्प्टिंग विधि है जो एक संरचित C-से-पायथन अनुवाद गाइड को शामिल करके ऑपरेटिंग सिस्टम कर्नेल के लिए सटीक औपचारिक विनिर्देशों (formal specifications) को स्वचालित रूप से उत्पन्न करने में लार्ज लैंग्वेज मॉडल्स की सटीकता में महत्वपूर्ण सुधार करती है, जिससे OSV-Bench बेंचमार्क पर 96.73% तक Pass@1 प्राप्त होता है।