This semester, I have to work as TA for both AI and Data Mining Class again. So sad...
I am wondering why I am always so unlucky?
Just returned the new version of journal paper to boss. Feels really tired to make any change to that.
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