OK. Payam and I just finished the ICML paper. It's good. I believe it should be accepted unless we are really unlucky.
Anyway, it's a good experience to work with Payam. I believe our cooperation makes the task much easier and efficient.
Hope we can get good news soon.
Need to rush for my KDD paper 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