SS
Аргументируйте плиз.
Size: a a a
2021 October 09
AP
Вот здесь и аргументировано ;)
SS
"Вот здесь" перечислены отличия.
Хотелось бы увидеть сделанный на miniKanren какой-нибудь серьезный проект, что-то типа Erlang, который был изначально написан на прологе, и только потом уже получил свою собственную VM.
Хотелось бы увидеть сделанный на miniKanren какой-нибудь серьезный проект, что-то типа Erlang, который был изначально написан на прологе, и только потом уже получил свою собственную VM.
SS
Ну а вообще, constraint solvers в мире много.
AP
Не хотелось бы, т.к. "серьезность" такого проекта под большим вопросом, очевидна его бессмысленность. Канрен встраивается во все что шевелится, потому как в основе лежит LISP со всеми его возможностями.
SS
Какие же такие необыкновенные возможности есть в Лиспе? 😐
SS
Кстати, как Вы управляете поисковыми стратегиями в Kanren?
AP
Это вам расскажут в соответствующих группах и не раз обсуждалось в интернетах, здесь группа совсем о другом и даже не о "логическом программировании"
SS
Ну вот, не знаете о чем говорите.
AP
Учитывая твою двуличность такое глупое высказывание вполне ожидаемо. Можешь полистать чат выше посчитать сколько раз ты про "другие чаты" упоминал ;)
A
началось в деревне утро)
D
Надеюсь, они не в часовом поясе МСК живут
M
Привет, мы в Deeppavlov тюнили мультиязычный и русский Sentence BERT на NLI тасках: http://docs.deeppavlov.ai/en/master/features/models/bert.html
Sentence Multilingual BERT is a representation-based sentence encoder for 101 languages of Multilingual BERT. It is initialized with Multilingual BERT and then fine-tuned on english MultiNLI and on dev set of multilingual XNLI.
Sentence RuBERT is a representation-based sentence encoder for Russian. It is initialized with RuBERT and fine-tuned on SNLI google-translated to russian and on russian part of XNLI dev set.
Sentence representations are mean pooled token embeddings in the same manner as in original Sentence-BERT.
Sentence Multilingual BERT is a representation-based sentence encoder for 101 languages of Multilingual BERT. It is initialized with Multilingual BERT and then fine-tuned on english MultiNLI and on dev set of multilingual XNLI.
Sentence RuBERT is a representation-based sentence encoder for Russian. It is initialized with RuBERT and fine-tuned on SNLI google-translated to russian and on russian part of XNLI dev set.
Sentence representations are mean pooled token embeddings in the same manner as in original Sentence-BERT.
DD
Спасибо! А как из sentence rubert получить классификацию типа entailment/contradiction/neutral?
SМ
Мы наш также тюнили
SМ
В сбере
SМ
Использовали переведненые mnli xnli
SМ
SМ
Правда ток на ру
DD
Тогда тот же вопрос: можно ли вашей моделью, без дополнительного обучения, получить классификацию пар предложений на entailment/contradiction/neutral?