- Name of Your Project
Breakdown of Mathematical Proofs Using Natural Language Processing
- What research topic/question your project is going to address?
How available and useful current technology is to address completeness of mathematical proofs in intro/bachelor level mathematics courses.
- What technology will be used in your project?
Python Natural Language Processing libraries, and SwiftUI for the GUI.
- What software and hardware will be needed for your project?
Languages: Python, Swift
- How are you planning to implement?
The end goal would be to assist students taking undergraduate classes.
- How is your project different from others? What’s new in your project?
I have not seen/be able to find applications of natural language processing towards the field of algebra and mathematical proofs.
- What’re the difficulties of your project? What problems you might encounter during your project?
Finding a large enough dataset to work with, that is consistent. Creating a strict enough rule set to classify proof components by.