Today is the abstract due. I have uploaded the abstract.
As I'm leaving on 29th, I need to finish the paper in 3 days!!!
This time, we did some interesting work rather than conventional data mining (mostly focus on cross-validation result, not interesting enough).
Hopefully we can make it!
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 ...