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.
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...
