←back to thread

Reasoning models reason well, until they don't

(arxiv.org)
217 points optimalsolver | 1 comments | 31 Oct 25 09:23 UTC | HN request time: 0.312s | source
Show context
brap ◴[31 Oct 25 10:27 UTC] No.45770407[source]▶
I wonder if we can get models to reason in a structured and verifiable way, like we have formal logic in math.
replies(3): >>45770419 #>>45775771 #>>45782489 #
1. anon291 ◴[01 Nov 25 15:35 UTC] No.45782489[source]▶
You can get a model to write lean or something, but formal logic, while verifiable is not useful for everyday life since it's mostly incomplete and does not even take into account inductive logic.