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