Ki sa ki Referee.chat se

Referee.chat kouri yon objektif pase yon panel. Ou sit kòm anpil modèl AI ke ou vle - de, oswa sis, soti nan nenpòt ki founisè ou renmen - ak yon plis referees. The referee se pati ki enpòtan: li deside lè objektif la se reyèlman te pote soti, ak li se bati pou di 'pa ankò' anpil plis souvan pase li di 'fè'.

Poukisa yon arbitre

Mande yon modèl yon kesyon difisil ak ou jwenn yon repons fluent si li se dwa oswa pa. Mande plizyè ak yo souvan dakò ak youn ak lòt, ki santi tankou corroboration ak se pa — modèl pataje done fòmasyon ak pataje pwen vèt. Se poukisa sitwayènte yo se ou pou chwazi: yon panele te pote soti nan diferan vandè yo pa travay nan direksyon diferan, ak diskisyon ant yo se yon siy ki merite pou yo gen. Failure mode se pa ke repons lan se erè; li se ke pa gen anyen nan pwosesis la te janm ale pou yo te pran li se erè.

Se konsa, yon match pa scored sou argument kalite. Objektif la se decomposed nan kondisyon aksepte, ak yon kondisyon se sèlman detèmine lè gen yon bagay dèyè li yon twazyèm pati ka re-cheke: yon sous ak passage apwopriye citée, oswa kòd ki te aktyèlman te egzekite ak li a reyèl rezilta. Arbitre re-cheke ke evidans li menm anvan detèmine. Confiance konte pou anyen.

Ou mete bar la

Etap la se ou a chwazi, ak arbitre a kenbe li literalman. Mande pou yon repons detèminasyon-grade ak ou jwenn yon. Mande pou yon prèv ki ta survive Clay Prize egzamen an ak rezilta a onè se pafwa yon kont presizyon nan ki kote panel la te tonbe kout - ki se plis itil pase yon avètisman konfidans ou ta dwe tcheke tèt ou an menm tan an.

Getting stuck is part of it

Lè yon sitwayènte frape yon miray li sispann ak men yon kesyon espesifik pou nenpòt ki sitwayènte ki pi byen plase pou reponn li, ansanm ak sa li te deja eseye. Li voye kesyon an, pa transkript la. Modèles thrash lè enfim — re-enfòme yo nan pri a plen — ak sa a konvèti ke nan yon kesyon ki vize ki anjeneral deblotché, pou yon pati nan tokens.

Long travay survives

Tout sa ki panel la etabli ale nan yon kontèks pataje, se konsa rezilta yo ekri yon fwa epi pa janm re-derived, ak bout yo mouri yo te anrejistre konsa pa gen okenn moun ki mache tounen nan yo. Matche kouri bò serveurs ak pause pwòp - sou bidjè, sou yon fournisseur interruption, oswa paske ou te fèmen tab la - ak retounen egzakteman kote yo te rete.

Referee.chat is operated by Muddy Holdings LLC. Kontakte nou.

Si travay ou bezwen pou rezoud se yon prèv matematik fòmèl pi plis pase yon desizyon oswa yon kesyon literati, menm panèl la kouri nan theorem.chat, kote prèv yo te tcheke pa Lean kernel.