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...
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment