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

## Leave a Reply

You must be logged in to post a comment.