What Referee.chat is

Referee.chat максатны панель аша үтә. Сез теләгәнчә күпме генә җанлы модельләр урнаштырырга мөмкинсез - ике яки алты, сез теләгән сатучыдан - һәм тагын бер хөкемдар. Хөкемдар мөһим өлеш: ул максатның чынлап та үтәлгәнлеген билгели, һәм ул "ярар" дигәннән күбрәк "әлегә юк" дигәнне әйтергә корылган.

Ни өчен арбитр?

Бер модельгә авыр сорау бирегез һәм сез дөресме-юкмы дигән сорауга төгәл җавап алырсыз. Берничә модельгә сорагыз һәм алар еш кына бер-берсе белән килешерләр, бу дөресме-юкмы дигән сорауга җавап бирү кебек тоела, чөнки модельләр өйрәтү мәгълүматларын һәм күрмәүче урыннарын уртаклашалар. Шуңа күрә урыннар сезнең үзегез сайлыйсыз: төрле җитештерүчеләрдән ясалган панель төрле яклап хаталана, һәм аларның арасындагы килешмәүлек сигнал булып тора. Каты хаталану ысулы җавап дөрес булмау түгел, ә процесста аны дөрес булмаган дип тоюга бернәрсә дә китермәячәк.

Шуңа күрә, туры килү аргумент сыйфаты буенча билгеләнми. Бу максат кабул итү критерийларына бүленә, һәм критерий бары тик өченче якның тикшерә ала торган нәрсәсе булганда гына хәл ителә: цитировка белән чыганак, яки чынлап та башкарылган код һәм аның чын чыганагы. Рефери карар чыгарыр алдыннан үзенең дәлилләрен тикшерә. Үзенә ышаныч исәпкә алынмый.

Сез чикне куясыз

Стандартны сайлау сезнең кулыгызда, һәм арбитр аны дөрес итеп тота. Сездән карар дәрәҗәсендә җавап сорагыз һәм сез аны алачаксыз. Clay Prize тикшерүеннән үтәчәк бер дәлилне сорагыз һәм дөрес нәтиҗә гадәттә панельнең ни өчен җитешмәгәнен төгәл аңлата - бу сезгә үзегез тикшерергә туры киләчәк ышанычлы дәлилдән файдалырак.

Буш урыннар да бар.

Әгәр дә бер урын диварга бәрелсә, ул туктый һәм җавап бирергә иң яхшы урынга бер сорау бирә, шулай ук ул инде нәрсәне сынап караган. Ул сорауны җибәрә, текстны түгел. Модельләр ябык булганда, алар үзләрен бөтен чыгымнар белән кабатлап, буш калалар, һәм бу аларны максатлы сорауга әйләндерә, ул гадәттә блокировканы бетерә, уенчылар санының бер өлеше өчен.

Күп вакытлы эш

Панель төзегән һәр нәрсә уртак бухгалтериягә бара, нәтиҗәләр бер тапкыр гына языла һәм кире кайтарылмый, һәм буш урыннар теркәлә, шуңа күрә алар янына кире кайту мөмкин түгел. Согласование сервер ягында бара һәм чиста тукталыш белән - бюджет буенча, провайдер тукталыш белән яки сезнең битне ябу белән - һәм туктаган урыннан дәвам итә.

Referee.chat is operated by Muddy Holdings LLC. Аралашу.

Әгәр сезгә хәл итәргә кирәк булган эш формаль математик дәлилләү булса, ә карар яки әдәбият сорау түгел, шул ук панель түбәндәгечә эшли: theorem.chat, анда дәлилләр Lean kernel тарафыннан тикшерелә.