#automated-reasoning

[ follow ]
Artificial intelligence
fromFast Company
5 days ago

The AI players to watch in 2026

A different AI approach—neuro-symbolic AI—uses formal mathematics and automated reasoning to reduce hallucinations in cloud-based systems, chatbots, robots, and agents.
Artificial intelligence
fromFast Company
1 week ago

Amazon takes on AI's biggest nightmare: Hallucinations

Amazon is advancing automated reasoning, logic-based AI methods that reduce hallucinations without massive GPUs, and promoting them internally to power retail experiences.
Artificial intelligence
fromFortune
2 months ago

AWS scientist: Your AI strategy needs mathematical logic | Fortune

Automated symbolic reasoning provides rigorous, provable constraints that prevent harmful hallucinations in transformer-based language models, enabling reliable decision-making and safe agentic AI.
Artificial intelligence
fromZDNET
4 months ago

How logic can help AI models tell more truth, according to AWS

Automated reasoning, or symbolic AI, rigorously verifies knowledge through logic, merging with generative AI into neuro-symbolic AI.
[ Load more ]