U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning
यह शोध पत्र U-Define प्रस्तुत करता है, जो एक ऐसा सिस्टम है जो उपयोगकर्ताओं को बाधाओं (constraints) को सख्त "हार्ड" नियमों या लचीली "सॉफ्ट" प्राथमिकताओं के रूप में वर्गीकृत करने की अनुमति देकर LLM-आधारित योजना (planning) पर उपयोगकर्ता के नियंत्रण को बढ़ाता है, जिन्हें विश्वसनीयता, उपयोगिता और उपयोगकर्ता संतुष्टि में सुधार करने के लिए पूरक औपचारिक मॉडल चेकिंग और LLM-as-judge विधियों के माध्यम से सत्यापित किया जाता है।