proof logic natural-deduction optical-character-recognition machine-learning neural-network ichack ichack20 android kotlin

NaturalDeductionScanner

An android app created in 24 hours for ICHACK2020 https://devpost.com/software/naturaldeductionscanner

What it does

It allows the user to scan a handwritten natural deduction proof (or import an image already taken) and the app recognises the characters and symbols. These are parsed into a string which is then parsed and verified in further steps to confirm that the proof is correct or to inform the user which line contains a mistake.

How we built it

Using Android Studio with kotlin for the front-end and UI/UX. A model trained using tensor-flow in python which was then imported into our app.

About

An Android app created in 24 hours for ICHACK2020. The app allows students to scan (or import) an image of a handwritten natural deduction proof and will verify its correctness,

https://devpost.com/software/naturaldeductionscanner

proof logic natural-deduction optical-character-recognition machine-learning neural-network ichack ichack20 android kotlin

Languages

Language:C++ 55.8%Language:Java 36.3%Language:C 4.1%Language:CMake 3.1%Language:Kotlin 0.4%Language:Python 0.2%Language:Objective-C 0.1%Language:HTML 0.1%Language:Makefile 0.1%