(github.com)

222 points futurisold | 2 comments | 27 Jun 25 18:49 UTC | HN request time: 0s | source

1. bionhoward ◴[28 Jun 25 00:59 UTC] No.44401598[source]▶

FYI, there’s a correctness issue in the part about correctness contracts: valid_opts = ['A', 'B', 'C'] if v not in valid_sizes:

valid_sizes is undefined

replies(1): >>44403263 #

2. futurisold ◴[28 Jun 25 09:04 UTC] No.44403263[source]▶

Oh, thank you; refactoring artifacts. Fixed now.

SymbolicAI: A neuro-symbolic perspective on LLMs