Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications.
Alessandro CoglioSol SwordsPublished in: CoRR (2023)
Keyphrases
- theorem prover
- natural language learning
- automated reasoning
- automated theorem proving
- theorem proving
- inference rules
- automated deduction
- term rewriting
- computer algebra
- first order logic
- higher order logic
- formal proof
- natural deduction
- mathematical knowledge
- proof search
- computer algebra systems
- proof planning
- boolean algebra
- formal semantics
- semi supervised
- decision trees