A study on Holophrasm, an automated theorem prover by Daniel Whalen: https://arxiv.org/abs/1608.02644.
Proposal -- Real AI Statement of Work.pdf
Midterm presentation -- https://docs.google.com/presentation/d/1z5QIgqhF9-cpqbyU5WCGDHD2mOxBKzxvqGre6x0Hw6w/edit?usp=sharing
Final presentation -- https://docs.google.com/presentation/d/1rGYZapNi5T21yQWw88I0gRbBe3-d14N6S6MwfqcUBd0/edit?usp=sharing
Final Report -- SPIA_Real_AI_Final_Report.pdf