Dejan Jovanović
Dejan Jovanović
@dddejan.bsky.social
Automated reasoning @ AWS.

https://dddejan.github.io/
Reposted by Dejan Jovanović
This can help prevent factual errors due to AI hallucinations 👉 Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available – More info in my post ✍️

buff.ly/yrgHiKU

#AWS #AI #GenAI #Security
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available | Amazon Web Services
Build responsible AI applications with the first and only solution that delivers up to 99% verification accuracy using sound mathematical logic and formal verification techniques to minimize AI…
buff.ly
August 6, 2025 at 3:26 PM
Reposted by Dejan Jovanović
David R. Hagen just solved a small mystery that I mentioned 13 years ago in the mouseover text of a comic drhagen.com/blog/the-mis...
The Missing 11th of the Month - David R Hagen
Personal website of David R Hagen, scientific software engineer
drhagen.com
June 19, 2025 at 11:40 AM
sup
May 15, 2023 at 9:54 PM