Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things
यह शोध पत्र एक औपचारिक रूप से सत्यापित, LLM-संचालित विकासवादी कोड संश्लेषण प्रणाली प्रस्तुत करता है जो मेडिकल IoT डिवाइस डेटा (जैसे पल्स ऑक्सीमीटर JSON स्कीमा) और FHIR मानक के बीच कम लागत वाला, विश्वसनीय ट्रांसलेशन कोड विश्वसनीय रूप से उत्पन्न करती है, जो पूर्व-निर्धारित आवश्यकताओं का कड़ाई से पालन सुनिश्चित करती है।