View Proposal
-
Proposer
-
Oleksandr Letychevskyi
-
Title
-
Using AI methods in theorem proving
-
Goal
-
To study AI methods in search reduction in automatic theorem proving
-
Description
- Consider examples of the use of AI in competitions of proof machines. Create a neural network trained on the scenarios of proving statements in the selected theory (polynomial algebra, first-order logic). Using an existing statement proof system or term rewriting system, integrate it with a neural network that provides a hint for each step of the proof.
- Resources
-
-
Background
-
-
Url
-
-
Difficulty Level
-
High
-
Ethical Approval
-
None
-
Number Of Students
-
2
-
Supervisor
-
Oleksandr Letychevskyi
-
Keywords
-
automatic theorem proving, ai methods, term rewriting system
-
Degrees
-