method ID: prover

Детали сущности

Основная информация

ID сущности

prover

Тип сущности

Method

Английская метка

PRover

Русская метка

PRover

Казахская метка

PRover

Частота

2

Описание

Английское описание

An interpretable transformer based model that answers binary questions over rule bases and generates corresponding proofs.

Русское описание

-

Казахское описание

-