Keyphrases
- fine tuning
- viable alternative
- fine tune
- fine tuned
- theorem proving
- formal proofs
- theorem prover
- automated theorem provers
- neural network
- equational theories
- scheduling problem
- relational databases
- database systems
- linear logic
- high level
- natural deduction
- proof search
- cut elimination
- mathematical knowledge
- artificial intelligence
- machine learning
- database
- mathematical proofs