Terms of Service
1. Chii chinonzi sevhisi
Unogona kutumira chikumbiro uye standard. Tichazvibata pasi peboka reAI mamodheru iwe unosarudza, pamwe nemutongi wemufananidzo uyo anotonga pamamiriro ezvinhu ekubvuma, uye tinoedza kuformalise iyo result muLean 4 neMathlib. Iyo output inonzi transcript, set of rulings, a verdict, uye apo formalization yainge yaitwa, iyo Lean result.
2. Chii chigadzirwa chine uye hachina
Kuburitsa kunogadzirwa neAI models yechitatu-bato uye hachisi chidzidzo. Hachisi chidzidzo chekudzidzisa, chidzidzo chehutano, chidzidzo chemari, chidzidzo chekusimudzira kana chidzidzo chebasa chemhando ipi neipi, uye hapana basa rebasa rinogadzirwa nekushandisa iyi sevhisi.
The referee kudzora zvinangwa zvakasangana ndechimwe mashoko pamusoro chokwadi parecord mu kuti match. Izvi hazvisi gwara kururama. AI mamodheru kuita zvikanganiso, misread zviwanikwa, uye anogona kugadzirwa zvinyorwa kunyange zvazvo instruction kuti kwete. Unofanira kuongorora zvaunofunga kuti zvichakubatsira iwe kana zvasvika pakutenga, kunyanya pamberi kuburitsa, kutumira, kana kuita pamusoro. Izvi ndezvimwe zvemazvombo zvekumanikidza-kuongorora basa, kwete chikonzero chekuongorora kwemunhu.
A kubudirira Lean formalization zvinoreva Lean kernel akabvuma chokwadi chemashoko ayo aiva formalized, pamusoro peshanduro ye Mathlib mukushandisa panguva iyoyo. Izvi hazvireve kuti mashoko ari akangwara kushandurwa kwei zvawakabvunza, uye kusarudza mashoko formal kuti haasi kutaura kuti chii iwe wakareva ndeimwe yezvakawanda nzira a formal result misleads. Read the formal statement, not only the verdict.
3. Zvinyorwa zvako
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.
Usatumira ruzivo rwemunhu nezve vamwe, zvinhu zvinochengetwa nemunhu kana zvausina kodzero yekuzvigovera, kana mavhidhiyo kana mavhidhiyo ane mavara anokanganisa kodzero dzevanhu.
4. Credits uye billing
Credit is prepaid and is consumed as matches run. Every match has a spending limit you set; reaching it pauses the match rather than continuing to spend. Balances are not transferable and, except where required by law, are non-refundable once consumed. Unused credit is refundable on request.
Kana iwe ukabatanidza yako yega inference key, iwe unobhadhara yako provider zvakananga uye isu tinobhadharisa pasina per-token charge.Pashure pekutaura kwemahara kupihwa, mutengo weinfrastructure unoshandiswa kusanganisira kufambisa panel, zvinhu uye kuchengetera.
Tinogona kuchinja mutengo nekupa mashoko. Zvimwe zvichange zvisina kutevedzera mari yawakatenga.
5. Kushandiswa kwakachengeteka
Hausi kushandisa sevhisi iyi kuti uite zvinhu zvinokuvadza vamwe, kuti uite bvunzo dzekuwana mazano edu kana mazano esystem, kuti uite tsvakurudzo dzekukanganisa mari yaungabhadhara kana kubhadharisa, kana kuti kuti utengesezve kuwanikwa kwedata pasina mutongo wakanyorwa.
6. Kuwanikwa
Tinovimba nevamwe vanopa mamodheru. Vanopa vanobuda, vanochinja mamodheru, uye vanoita kuti zvive zvisina basa. A match akaparadzwa nekuda kwechikonzero chero chipi zvacho, anomiswa uye anoenderera mberi; hatibhadharise mari yebasa rainge raitwa. Hativi nechokwadi chekuwanikwa pasina kuparadzwa, uye mamodheru awakashandisa kare anogona kunge asina kuwanikwa.
7. Kubhadhara
Kusvika pakusvika kwemutemo, sevhisi iyi inopihwa seyakavakirwa, pasina chero mhando yevamiri. Isu tinotora chivimbo chedu chekuzvipira kwese
Kudzima
Iwe unogona kudzima account yako chero nguva. Tinogona kubvisa accounts dziri kushungurudza izvi kana dziri kukonzera kuti sevhisi iite matambudziko.
9. Zvimwe zvigadziriso, mashoko, uye kusangana
Tinogona kuchinja izvi zvinodiwa; zvinhu zvitsva zvichazivisawa pawebsite.
Kushandurwa kweiyi peji kunopihwa nekuda kwekugadzikana uye kugadzirwa nechigadzirwa. Kana kushandurwa kwechirevo uye chirevo chechirungu chichisiyana, chirevo chechirungu chinotonga.
Mabvunzo: Tinya Kuti Utaure nesu.