ਸੇਵਾ ਦੀਆਂ ਸ਼ਰਤਾਂ
1. ਸਰਵਿਸ ਕੀ ਕਰਦੀ ਹੈ
ਤੁਸੀਂ ਇੱਕ ਦਾਅਵਾ ਅਤੇ ਇੱਕ ਸਟੈਂਡਰਡ ਭੇਜਦੇ ਹੋ। ਅਸੀਂ ਇਸ ਨੂੰ AI ਮਾਡਲਾਂ ਦੇ ਇੱਕ ਪੈਨਲ ਤੋਂ ਲੰਘਦੇ ਹਾਂ ਜੋ ਤੁਸੀਂ ਚੁਣਦੇ ਹੋ, ਅਤੇ ਇੱਕ ਰਿਫਰੀ ਮਾਡਲ ਜੋ ਕਿ ਸਵੀਕਾਰਨ ਮਾਪਦੰਡਾਂ ਉੱਤੇ ਨਿਯਮ ਕਰਦਾ ਹੈ, ਅਤੇ ਅਸੀਂ Mathlib ਦੇ ਵਿਰੁੱਧ Lean 4 ਵਿੱਚ ਨਤੀਜੇ ਨੂੰ ਰਸਮੀ ਬਣਾਉਣ ਦੀ ਕੋਸ਼ਿਸ਼ ਕਰਦੇ ਹਾਂ। ਆਉਟਪੁੱਟ ਇੱਕ ਟਰਾਂਸਕਰੀਪਟ ਹੈ, ਨਿਯਮਾਂ ਦਾ ਇੱਕ ਸੈੱਟ, ਇੱਕ ਫੈਸਲਾ, ਅਤੇ ਜਿੱਥੇ ਰਸਮੀਕਰਨ ਦੀ ਕੋਸ਼ਿਸ਼ ਕੀਤੀ ਗਈ ਸੀ, ਲੀਨ ਨਤੀਜਾ ਹੈ।
2. ਆਉਟਪੁੱਟ ਕੀ ਹੈ ਅਤੇ ਕੀ ਨਹੀਂ ਹੈ
ਆਉਟਪੁੱਟ ਤੀਜੀ ਧਿਰ ਦੇ ਐੱਨਆਈ ਮਾਡਲਾਂ ਰਾਹੀਂ ਤਿਆਰ ਕੀਤਾ ਜਾਂਦਾ ਹੈ ਅਤੇ ਇਹ ਸਲਾਹ ਨਹੀਂ ਹੈ। ਇਹ ਕਿਸੇ ਵੀ ਤਰ੍ਹਾਂ ਦੀ ਕਾਨੂੰਨੀ, ਮੈਡੀਕਲ, ਵਿੱਤੀ, ਇੰਜੀਨੀਅਰਿੰਗ ਜਾਂ ਪੇਸ਼ੇਵਰ ਸਲਾਹ ਨਹੀਂ ਹੈ ਅਤੇ ਇਸ ਸੇਵਾ ਦੀ ਵਰਤੋਂ ਨਾਲ ਕੋਈ ਪੇਸ਼ੇਵਰ ਸਬੰਧ ਨਹੀਂ ਬਣਦਾ।
ਰਿਫਰੀ ਦਾ ਫੈਸਲਾ ਇੱਕ ਮਾਪਦੰਡ ਨੂੰ ਪੂਰਾ ਕਰਨ ਬਾਰੇ ਹੈ, ਜੋ ਕਿ match ਵਿੱਚ ਰਿਕਾਰਡ ਸਬੂਤ ਬਾਰੇ ਇੱਕ ਬਿਆਨ ਹੈ। ਇਹ ਠੀਕ ਹੋਣ ਦੀ ਗਰੰਟੀ ਨਹੀਂ ਹੈ। AI ਮਾਡਲ ਗਲਤੀਆਂ ਕਰਦੇ ਹਨ, ਸਰੋਤ ਗਲਤ ਪੜ੍ਹਦੇ ਹਨ, ਅਤੇ ਹਵਾਲਾ ਨਿਰਮਾਣ ਕਰ ਸਕਦੇ ਹਨ, ਭਾਵੇਂ ਕਿ ਨਿਰਦੇਸ਼ ਨਾ ਹੋਣ। ਤੁਹਾਨੂੰ ਆਪਣੇ ਆਪ ਹੀ ਕਿਸੇ ਵੀ ਚੀਜ਼ ਦੀ ਜਾਂਚ ਕਰਨੀ ਪਵੇਗੀ, ਜਿਸ ਉੱਤੇ ਤੁਸੀਂ ਭਰੋਸਾ ਕਰਨਾ ਚਾਹੁੰਦੇ ਹੋ, ਖਾਸ ਕਰਕੇ ਇਸ ਨੂੰ ਪਬਲਿਸ਼ ਕਰਨ, ਭੇਜਣ ਜਾਂ ਇਸ ਉੱਤੇ ਕਾਰਵਾਈ ਕਰਨ ਤੋਂ ਪਹਿਲਾਂ । ਇਹ ਦਬਾਅ ਟੈਸਟ ਕਾਰਜ ਲਈ ਇੱਕ ਟੂਲ ਹੈ, ਯੋਗ ਮਨੁੱਖੀ ਸਮੀਖਿਆ ਲਈ ਕੋਈ ਬਦਲ ਨਹੀਂ ਹੈ ।
ਇੱਕ ਸਫਲ Lean ਫਾਰਮੈਲਿਜ਼ੇਸ਼ਨ ਦਾ ਮਤਲਬ ਹੈ ਕਿ Lean ਕਰੈਸ਼ਲ ਨੇ ਫਾਰਮੈਲਿਜ਼ੇਸ਼ਨ ਦੇ ਪ੍ਰਮਾਣ ਨੂੰ ਸਵੀਕਾਰ ਕੀਤਾ ਹੈ, ਜੋ ਕਿ ਉਸ ਸਮੇਂ ਵਰਤੇ ਜਾ ਰਹੇ Mathlib ਵਰਜਨ ਨਾਲੋਂ ਵੱਖਰਾ ਹੈ । ਇਸ ਦਾ ਮਤਲਬ ਇਹ ਨਹੀਂ ਹੈ ਕਿ ਇਹ ਸਟੇਟਮੈਂਟ ਤੁਹਾਡੇ ਪੁੱਛੇ ਗਏ ਦਾ ਸਹੀ ਅਨੁਵਾਦ ਹੈ, ਅਤੇ ਇੱਕ ਫਾਰਮੈਲੀ ਸਟੇਟਮੈਂਟ ਚੁਣਨਾ, ਜੋ ਕਿ ਤੁਹਾਨੂੰ ਦੱਸਦਾ ਹੈ ਕਿ ਤੁਸੀਂ ਕੀ ਚਾਹੁੰਦੇ ਹੋ, ਸਭ ਤੋਂ ਆਮ ਢੰਗ ਹੈ, ਜੋ ਕਿ ਫਾਰਮੈਲੀ ਨਤੀਜਾ ਗਲਤੀ ਵਿੱਚ ਪਾ ਸਕਦਾ ਹੈ । ਫਾਰਮੈਲੀ ਸਟੇਟਮੈਂਟ ਪੜ੍ਹੋ, ਨਾ ਕਿ ਕੇਵਲ ਫੈਸਲਾ ।
3. ਤੁਹਾਡੀ ਸਮੱਗਰੀ
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 ਡਿਫਾਲਟ ਤੌਰ ਉੱਤੇ ਨਿੱਜੀ ਹੈ । ਜੇਕਰ ਤੁਸੀਂ ਇੱਕ ਪਬਲਿਕ match ਨੂੰ ਮਾਰਕ ਕੀਤਾ ਤਾਂ ਇਹ ਕਿਸੇ ਵੀ ਲਿੰਕ ਨਾਲ ਵੇਖਿਆ ਜਾ ਸਕਦਾ ਹੈ ਅਤੇ ਸਾਡੀ ਪਬਲਿਕ ਗੈਲਰੀ ਵਿੱਚ ਵੇਖਿਆ ਜਾ ਸਕਦਾ ਹੈ । ਇੱਕ match ਨੂੰ ਪਬਲਿਕ ਨਾ ਕਰੋ, ਜਿਸ ਵਿੱਚ ਕੋਈ ਗੁਪਤ ਜਾਣਕਾਰੀ ਹੋਵੇ ।
ਹੋਰਾਂ ਬਾਰੇ ਨਿੱਜੀ ਡਾਟਾ, ਗੁਪਤ ਮਾਮਲਿਆਂ ਨੂੰ ਜੋ ਕਿ ਤੁਸੀਂ ਸਾਂਝਾ ਕਰਨ ਦੇ ਅਧਿਕਾਰ ਨਹੀਂ ਰੱਖਦੇ, ਜਾਂ ਗੈਰ- ਕਾਨੂੰਨੀ ਸਮੱਗਰੀ ਨੂੰ ਭੇਜੋ ਨਾ ।
ਕ੍ਰੈਡਿਟ ਅਤੇ ਬਿਲਿੰਗ
ਕ੍ਰੈਡਿਟ ਪਹਿਲਾਂ- ਭੁਗਤਾਨ ਕੀਤਾ ਜਾਂਦਾ ਹੈ ਅਤੇ matches ਚਲਾਉਣ ਨਾਲ ਖਪਤ ਕੀਤਾ ਜਾਂਦਾ ਹੈ। ਹਰੇਕ match ਲਈ ਤੁਸੀਂ ਇੱਕ ਖਰਚ ਲਿਮਟ ਸੈੱਟ ਕਰਦੇ ਹੋ; ਇਸ ਨੂੰ ਪਹੁੰਚਣ ਨਾਲ match ਖਰਚ ਕਰਨ ਦੀ ਬਜਾਏ ਵਿਰਾਮ ਕਰ ਦਿੰਦਾ ਹੈ। ਬਾਲਨ ਟਰਾਂਸਫਰ ਨਹੀਂ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ ਅਤੇ, ਕਾਨੂੰਨ ਦੁਆਰਾ ਲੋੜੀਦੇ ਇਲਾਕੇ ਨੂੰ ਛੱਡ ਕੇ, ਇੱਕ ਵਾਰ ਖਪਤ ਹੋਣ ਉੱਤੇ ਮੁੜ- ਭੁਗਤਾਨ ਨਹੀਂ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ। ਨਾ- ਵਰਤਿਆ ਕ੍ਰੈਡਿਟ ਮੰਗ ਉੱਤੇ ਮੁੜ- ਭੁਗਤਾਨ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ।
ਜੇਕਰ ਤੁਸੀਂ ਆਪਣੀ ਆਪਣੀ ਇੰਫਰਰੇਸ਼ਨ ਕੁੰਜੀ ਕੁਨੈਕਟ ਕੀਤੀ ਤਾਂ ਤੁਸੀਂ ਆਪਣੇ ਪਰੋਵਾਈਡਰ ਨੂੰ ਸਿੱਧਾ ਭੁਗਤਾਨ ਕਰੋਗੇ ਅਤੇ ਅਸੀਂ ਤੁਹਾਨੂੰ ਕੋਈ ਪ੍ਰਤੀ ਟੋਕਨ ਚਾਰਜ ਨਹੀਂ ਭੁਗਤਾਨ ਕਰਾਂਗੇ। ਦਿੱਤੇ ਮੁਫਤ ਲਾਭ ਤੋਂ ਬਾਅਦ ਪੈਨਲ, ਟੂਲ ਅਤੇ ਸਟੋਰੇਜ਼ ਚਲਾਉਣ ਲਈ ਇੱਕ ਇੰਫਰਾਸਟਰਕਚਰ ਫੀਸ ਲਾਗੂ ਹੈ।
ਅਸੀਂ ਸੂਚਨਾ ਦੇ ਕੇ ਕੀਮਤਾਂ ਬਦਲ ਸਕਦੇ ਹਾਂ। ਪਹਿਲਾਂ ਹੀ ਖਰੀਦੇ ਗਏ ਕਰੈਡਿਟ ਉੱਤੇ ਤਬਦੀਲੀਆਂ ਕਦੇ ਵੀ ਲਾਗੂ ਨਹੀਂ ਹੁੰਦੀਆਂ।
ਮਨਜ਼ੂਰਯੋਗ ਵਰਤੋਂ
ਸਰਵਿਸ ਨੂੰ ਹੋਰਾਂ ਨੂੰ ਨੁਕਸਾਨ ਪਹੁੰਚਾਉਣ ਵਾਲੀ ਸਮੱਗਰੀ ਬਣਾਉਣ ਲਈ ਨਾ ਵਰਤੋਂ, ਸਾਡੇ ਪ੍ਰਸ਼ਨ ਜਾਂ ਸਿਸਟਮ ਨਿਰਦੇਸ਼ਾਂ ਨੂੰ ਕੱਢਣ ਦੀ ਕੋਸ਼ਿਸ਼ ਕਰੋ, ਖਰਚ ਜਾਂ ਰੇਟ ਲਿਮਟ ਨੂੰ ਘਟਾਉਣ ਲਈ, ਜਾਂ ਲਿਖਤੀ ਸਹਿਮਤੀ ਤੋਂ ਬਿਨਾਂ ਪਹੁੰਚ ਮੁੜ ਵੇਚਣ ਲਈ ਨਾ ਵਰਤੋਂ। ਕੋਡ- ਚਲਾਉਣ ਟੂਲ ਦਾ ਉਦੇਸ਼ ਦਾਅਵੇ ਦੀ ਜਾਂਚ ਕਰਨ ਲਈ ਹੈ; ਕਿਸੇ ਸਿਸਟਮ ਉੱਤੇ ਹਮਲਾ ਕਰਨ ਲਈ ਇਸ ਨੂੰ ਨਾ ਵਰਤੋਂ।
ਉਪਲੱਬਧਤਾ
ਅਸੀਂ ਤੀਜੀ- ਧਿਰ ਮਾਡਲ ਪਰੋਵਾਈਡਰ ਉੱਤੇ ਨਿਰਭਰ ਕਰਦੇ ਹਾਂ । ਪਰੋਵਾਈਡਰ ਡਿੱਗ ਜਾਂਦੇ ਹਨ, ਮਾਡਲ ਬਦਲਦੇ ਹਨ ਅਤੇ ਉਨ੍ਹਾਂ ਨੂੰ ਰੱਦ ਕਰਦੇ ਹਨ । ਕਿਸੇ ਵੀ ਕਾਰਨ ਕਰਕੇ ਰੁਕਿਆ match ਵਿਰਾਮ ਹੋ ਜਾਂਦਾ ਹੈ ਅਤੇ ਮੁੜ- ਚਾਲੂ ਹੋ ਜਾਂਦਾ ਹੈ; ਅਸੀਂ ਕੰਮ ਲਈ ਜੋ ਕਿ ਨਹੀਂ ਹੋਇਆ ਉਸ ਲਈ ਕੋਈ ਫੀਸ ਨਹੀਂ ਲੈਂਦੇ । ਅਸੀਂ ਬਿਨਾਂ ਰੁਕਾਵਟ ਉਪਲੱਬਧਤਾ ਦੀ ਗਰੰਟੀ ਨਹੀਂ ਦਿੰਦੇ ਅਤੇ ਇੱਕ ਮਾਡਲ ਜੋ ਤੁਸੀਂ ਪਹਿਲਾਂ ਵਰਤਿਆ ਸੀ ਉਹ ਉਪਲੱਬਧ ਨਹੀਂ ਹੋ ਸਕਦਾ ਹੈ ।
ਜਵਾਬਦੇਹੀ
ਕਾਨੂੰਨ ਦੁਆਰਾ ਮਨਜ਼ੂਰ ਕੀਤੀ ਪੂਰੀ ਹੱਦ ਤੱਕ, ਸਰਵਿਸ ਕਿਸੇ ਵੀ ਤਰ੍ਹਾਂ ਦੀ ਗਰੰਟੀ ਦੇ ਬਿਨਾਂ ਦਿੱਤੀ ਜਾਂਦੀ ਹੈ । ਕਿਸੇ ਵੀ ਦਾਅਵੇ ਲਈ ਸਾਡੀ ਕੁੱਲ ਜ਼ਿੰਮੇਵਾਰੀ ਉਸ ਰਕਮ ਤੱਕ ਸੀਮਿਤ ਹੈ, ਜੋ ਤੁਸੀਂ ਸਾਨੂੰ ਦਾਅਵੇ ਦੇ ਪੈਦਾ ਹੋਣ ਤੋਂ ਪਹਿਲਾਂ ਤਿੰਨ ਮਹੀਨਿਆਂ ਵਿੱਚ ਭੁਗਤਾਨ ਕੀਤੀ ਹੈ । ਅਸੀਂ ਕਿਸੇ ਵੀ ਅਸਿੱਧੇ ਜਾਂ ਨਤੀਜੇ ਵਜੋਂ ਨੁਕਸਾਨ ਲਈ ਜ਼ਿੰਮੇਵਾਰ ਨਹੀਂ ਹਾਂ, ਜਿਸ ਵਿੱਚ ਮਾਡਲ ਆਉਟਪੁੱਟ ਉੱਤੇ ਭਰੋਸਾ ਕਰਨ ਨਾਲ ਪੈਦਾ ਹੋਣ ਵਾਲਾ ਨੁਕਸਾਨ ਵੀ ਸ਼ਾਮਲ ਹੈ ।
ਬੰਦ
ਤੁਸੀਂ ਆਪਣੇ ਅਕਾਊਂਟ ਨੂੰ ਕਿਸੇ ਵੀ ਸਮੇਂ ਬੰਦ ਕਰ ਸਕਦੇ ਹੋ; ਅਸੀਂ ਨਾ- ਵਰਤੇ ਕ੍ਰੈਡਿਟ ਮੁੜ- ਭੇਜ ਦੇਵਾਂਗੇ। ਅਸੀਂ ਅਕਾਊਂਟ ਨੂੰ ਸਸਪੈਂਡ ਕਰ ਸਕਦੇ ਹਾਂ, ਜੋ ਕਿ ਇਹਨਾਂ ਸ਼ਰਤਾਂ ਨੂੰ ਉਲੰਘਣ ਕਰਦੇ ਹਨ ਜਾਂ ਸਰਵਿਸ ਨੂੰ ਖਤਰੇ ਵਿੱਚ ਪਾ ਦਿੰਦੇ ਹਨ।
9. ਤਬਦੀਲੀਆਂ, ਭਾਸ਼ਾ ਅਤੇ ਸੰਪਰਕ
ਅਸੀਂ ਇਹਨਾਂ ਸ਼ਰਤਾਂ ਨੂੰ ਅੱਪਡੇਟ ਕਰ ਸਕਦੇ ਹਾਂ; ਮਾਤਰਾਤਮਕ ਤਬਦੀਲੀਆਂ ਸਾਇਟ ਉੱਤੇ ਐਲਾਨ ਕੀਤੀਆਂ ਜਾਣਗੀਆਂ।
ਇਸ ਸਫ਼ੇ ਦਾ ਅਨੁਵਾਦ ਸਹੂਲਤ ਲਈ ਦਿੱਤਾ ਗਿਆ ਹੈ ਅਤੇ ਮਸ਼ੀਨ- ਨਿਰਮਿਤ ਹੈ । ਜਿੱਥੇ ਕਿ ਅਨੁਵਾਦ ਅਤੇ ਅੰਗਰੇਜ਼ੀ ਵਰਜਨ ਵਿੱਚ ਅੰਤਰ ਹੈ, ਅੰਗਰੇਜ਼ੀ ਵਰਜਨ ਲਾਗੂ ਹੈ ।
ਸਵਾਲ: ਸਾਡੇ ਨਾਲ ਸੰਪਰਕ.