I'm working on papers to submit to CIKM or ICDE.
I just checked both conferences, one requires 10 pages, and the other requires 12 pages.
The ridiculous thing is that once you are accepted as short paper, you have to reduce to 2 pages for CIKM, and 4 pages for ICDE.
Complexity and Lean
-
In the OpenAI Math Drop some papers have Lean proofs, others don't,
including L = RL = BPL. Why is it hard to formalize results on complexity
classes?
L...
No comments:
Post a Comment