Finished conference papers for ICDM and CIKM. (Still a paper of understanding groups in progress, probably submitting to WSDM)
Need to come back to the journal papers and thesis proposal now.
The Purpose of Proofs
-
In discussions of AI and Mathematics, the discussion often goes to
mathematical proofs, such as the the First Proof challenge. So let's look
at the role ...
No comments:
Post a Comment