Advances of proof scores in CafeOBJ.

Kokichi Futatsugi

Published in: Sci. Comput. Program. (2022)

Keyphrases

recent advances
artificial intelligence
theorem proving
data sets
theorem prover
databases
geometry theorem proving
current challenges
linear logic
neural network
future directions
multi agent
case study
social networks
genetic algorithm
proof planning
substantially higher
mathematical proofs