3 ms·

Do you have any readings you recommend to start thinking in terms of non-deterministic algorithms and cheap verifiers?

• f1shy 5mo ago
  Neurosymbolic programming
  • whatever120 5mo ago
    That’s not a particular reading
  • deleted 5mo ago
    [deleted]
• mistrial9 5mo ago
  filters