1. 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

Development: XCode

• 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.