Login / Signup

In the Head of the Beholder: Comparing Different Proof Representations.

Christian AlrabbaaStefan BorgwardtAnke HirschNina KnieriemenAlisa KovtunovaAnna Milena RothermelFrederik Wiehr
Published in: RuleML+RR (2022)
Keyphrases
  • neural network
  • real time
  • data mining
  • theorem prover
  • representation scheme
  • linear logic