የድርጅት ስም
1. አገልግሎት ምን ያደርጋል
ጥያቄ እና መስፈርት ያቀርባሉ. እኛ እርስዎ የሚመርጡ AI ሞዴሎች ፓነል ውስጥ ይጫወታሉ, ተጨማሪ በተቀባይነት መስፈርቶች ላይ የሚወሰን የፍርድ ቤት ሞዴል, እና ውጤቱን Lean 4 በ Mathlib ላይ ፎርማሊዝ ለማድረግ እንሞክራለን. ውጤቱ ትርጉም ነው, የፍርድ ቤት ስብስብ, ውሳኔ, እና ፎርማሊዝ የተሞከረበት ቦታ, የ ሌን ውጤት.
2. ምርቱ ምን እንደሆነና አይደለም
ውጤቱ በሶስተኛ ወገን AI ሞዴሎች የተፈጠረ ነው እና ምክር አይደለም. ይህ የሕግ፣ የሕክምና፣ የገንዘብ፣ የኢንጂነሪንግ ወይም የሙያ ምክር አይደለም፣ እናም በዚህ አገልግሎት በመጠቀም የሙያ ግንኙነት አይፈጠርም ፡፡
የፍርድ ቤት ውሳኔ መስፈርት የተሟላ ነው ስለ ማስረጃ ላይ ሪኮርድ ውስጥ match ላይ መግለጫ ነው. ይህ ትክክለኛነት ዋስትና አይደለም. AI ሞዴሎች ስህተቶች, ምንጮች መጥፎ ማንበብ, እና ማስረጃዎች መፍጠር ይችላሉ ምንም እንኳን መመሪያዎች አይደለም. በራስህ ራስህ ማረጋገጥ አለብህይህ የፕሮግራሙን መሰረታዊ
የቀረበው የሊን ፎርማሊዜሽን ማለት የሊን ኮርኔል የቀረበውን የቃላት ግልጽነት ማስረጃ በመቀበል፣ በወቅቱ በነበረው የMathlib ስሪት ላይ ፎርማሊዝድ አድርጎ ነው ማለት ነው፡፡ ይህ ግልጽነት የጠየቅከውን ነገር ትክክለኛ ትርጉም ነው ማለት አይደለም፣ ግልጽነት ያለውን ቃል መምረጥም ግልጽ ውጤት የሚያሳስባችሁን ነገር አያመለክትም ማለት ነው፡፡ ግልጽ የሆነውን ቃል አንብብ፣ ውሳኔውን ብቻ አይደለም።
ይዘት
You keep ownership of the claims you submit and of the output produced for you. You grant us only the licence needed to operate the service: to process your submission, transmit it to the model providers you selected, and store the resulting match so you can return to it.
Matches are private by default. If you mark a match public it becomes visible to anyone with the link and may appear in our public gallery. Do not publish a match containing anything confidential.
ስለሌሎች ሰዎች የግል መረጃ፣ ለመጋራት መብት የሌለብዎትን የግል መረጃ ወይም ሕገወጥ የሆነ ይዘት አታቀርቡ።
4. ተቀማጭና ተቀማጭ
ክሬዲት ቀድሞ የተከፈለ ሲሆን matches እንደተጓዘ ሲጠቀምበት ይጠቀማል። match ሁሉ የእርስዎ የተቀመጠ የገንዘብ ፍጆታ ገደብ አለው፤ ወደዚያ ደርሶ matchን ከማውጣት ይልቅ ያቆማል ፡፡ ባንዶች ሊቀየሩ አይችሉም ፣ በሕግ የተጠየቁ ከሆነ በስተቀር ፣ በአንድ ጊዜ ከተጠቀሙ በኋላ የማይመለሱ ናቸው ፡፡ ያልተጠቀሙት ክሬዲት በጠየቁ ጊዜ ሊመለሱ ይችላሉ ፡፡
የራስህን የምርመራ ቁልፍ ብትገናኝ፣ አቅራቢህን በቀጥታ ትከፍላለህና በየቶኬኑ ምንም ክፍያ አንከፍልም፡፡ የተገለጸው ነፃ ክፍያ ከተጠናቀቀ በኋላ የፓነል፣ የጥራትና የመዝገብ ቤትን መሥራት የሚሸፍን የመሰረተ ልማት ክፍያ ይተገበራል።
ዋጋዎችን በዕውቅና ማሻሻል እንችላለን. ለውጦች አሁንም የተገዙ ክሬዲቶች ላይ አይተገበሩም.
የተቀበለ
የድርጅቱን አገልግሎት ሌሎችን የሚጎዳ ይዘት ለመፍጠር፣ የምንጠይቃቸውን ወይም የሲስተም መመሪያዎችን ለማውጣት፣ የገንዘብ ወይም የፍጆታ ገደቦችን ለመሸፈን ወይም ያለ ጽሑፍ ስምምነት ለመሸጥ አትጠቀሙ። የኮድ-አፈጻጸም መሣሪያው ለሚጠየቁ ጥያቄዎች ነው፤ ማንኛውንም ሲስተም ለመውጋት አትጠቀሙት።
መኖሩን ያረጋግጡ
በሶስተኛ ወገን ሞዴል አቅራቢዎች ላይ እንመካለን። አቅራቢዎች ይወርዳሉ፣ ሞዴሎችን ይለውጣሉ፣ እና ያወጡዋቸዋል። በየትኛውም ምክንያት የተቋረጠ match ተቆርጧል እና ይቀጥላል፤ ለተደረገው ሥራ አልተጠየቅንም ፡፡ ያለማቋረጥ መኖሩን አናረጋግጥም ፣ እና ከፊት የተጠቀምከው ሞዴል የማይገኝ ሊሆን ይችላል።
ፋይል
በሕግ የተፈቀደው በሙሉ መጠን, አገልግሎት እንደ ነው ያለ ዋስትና የሁሉም ዓይነት ይሰጣል. የምንጠይቅ ሁሉ ኃላፊነት ለ ማንኛውም ጥያቄ በሦስት ወራት ውስጥ እኛን ከጠየቁ በፊት የተከፈለውን መጠን ብቻ ነው. እኛ ለተዘዋዋሪ ወይም ተያያዥ ጉዳት ኃላፊ አይደለንም, በሞዴል ምርት ላይ በመመስረት የሚመጣ ማንኛውም ጉዳት ጨምሮ.
ማቆም
የእርስዎን ሒሳብ በየትኛውም ጊዜ መክፈት ይችላሉ; እኛ ያልተጠቀሙት ክሬዲት ይመለሳል. እኛ እነዚህን ሁኔታዎች የሚጥሱ ወይም አገልግሎትን በጉዳት ላይ የሚጥሉ ሒሳቦችን ማቆም እንችላለን.
ለውጦች፣ ቋንቋ እና ግንኙነት
እነዚህን ሁኔታዎች ማሻሻል እንችላለን፤ መሰረታዊ ለውጦች በጣቢያው ላይ ይታወቃሉ፡፡
የዚህ ገጽ ትርጉሞች ለደህንነት ብቻ ናቸው እናም በኤሌክትሮኒክ መሣሪያዎች የተፈጠሩ ናቸው። ትርጉምና እንግሊዝኛ ትርጉም የሚለያዩበት ቦታ፣ እንግሊዝኛ ትርጉም ይሻላል።
ጥያቄዎች፦ ቀጥል.