← Back to context

Comment by drBonkers

2 days ago

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

4 comments

drBonkers

Reply

f1shy 2 days ago

Neurosymbolic programming

whatever120 2 days ago

That’s not a particular reading

mistrial9 2 days ago

filters