QED.ai

Inspiration

We came together because we believed that better mathematical education, especially proof and advanced math classes prepared for our future. We also agreed that our TAs had limited time to verify our solutions to assignments and test which limited their capacity give us good and detailed feedbacks. Hence, QED.ai was born.

What it does

In its current iteration, we utilize mathpix to create OCR-based latex inputs from images and chatGPT to validate the proofs and equations.

How we built it

Initially, we wanted to create a basic latex-to-coq translator. However, we soon came to the realization that making simple latex-coq would not be feasible nor would be easy to access for our users. We decided that for faster iterations of development, ChatGPT and OCR would be used. So, we built a web app used API calls to explore the validity of the proofs.

Challenges we ran into

Designing optimal user interface that allows convenience and aesthetics.
Synchronizing and gaining access to chatGPT and mathpix.
managing access fees to our APIs.

Accomplishments that we're proud of

With our current iteration, we are proud that the users' proofs can be easily verified from image uploads and natural language inputs from the proof and points to possible solutions. This indicates that with the right use-case and improvements, AI will empower students from to enhance their learning experience.

What we learned

We learned the importance of good user interface. Most of us had been coding backends and python-based applications for school projects. So, designing UIs that can facilitate that was an unfamiliar aspect that we experienced from trial-and-error.

What's next for QED.ai

We will:

Spin off to react native for Android, iOS platforms
Caching mechanism to speed up conversion to AI
LLM based syntax paraphrasing and refinement for more consistent conversion from latex to coq for increased accuracy.
Input cleaning mechanisms
A dedicated API and server for coq-based validation

We also hope that we can pivot the web app into a full-fledged platform for TAs, tutors and students.