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

f1shy a day ago | parent | next [-]

Neurosymbolic programming

	▲	whatever120 a day ago \| parent \| next [-]
		That’s not a particular reading
	▲	a day ago \| parent \| prev [-]
		[deleted]

mistrial9 a day ago | parent | prev [-]

filters