mostly on computers and mathematics
Apply machine learning to existing formal proofs to create a tool to provide assistance and suggestions to humans writing new formal proofs.
Post a Comment
No comments :
Post a Comment