News for hackers. Stuff that matters.
Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by retinaros on Saturday October 04, 2025 @03:33PM (#45475992)
yes this can also improve the said reasoning.
Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by sigmoid10 on Saturday October 04, 2025 @03:38PM (#45476037)
The secret the big companies don't want to tell you is that you can turn all their models into reasoning models that way. You even have full control over the reasoning process and can make it adhere to a specific format, e.g. the ones used in legal settings. I've built stuff like that using plain old gpt-4o and it was even better than the o series.