AMD Developer Hackathon: ACT II team: DeepProof