Hacker News new | past | comments | ask | show | jobs | submit
baq | on: Use Prolog to improve LLM's reasoning
Patiently waiting for z3-guided generation, but this is a welcome, if obvious, development. Results are a bit surprising and sound too optimistic, though.