Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving
by barthelomew on Saturday October 04, 2025 @03:42PM
(#45476083)
Yep! I have read your work! Pretty cool! I also worked on a similar deep research agent for autoformalization this summer at AWS ARChecks, building on similar patterns.
Although that work is not public, you can play with the generally available product here!
Although that work is not public, you can play with the generally available product here!
[1] https://aws.amazon.com/blogs/aws/minimize-ai-hallucinations-...