Linking AI models to formal verification methods can correct LLM shortcomings such as false assertions. Amazon's Byron Cook explains the promise of automated reasoning.

LLMPhy redefines problem-solving, blending advanced AI reasoning with physics simulation to tackle real-world challenges in object dynamics and stability.

Science AI research large language model AI flunks logic test: Multiple studies reveal illusion of reasoning As logical tasks grow more complex, accuracy drops to as low as 4 to 24% By Cal Jeffrey ...

Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated.

Apple's AI research team has uncovered significant weaknesses in the reasoning abilities of large language models, according to a newly published study.

Moreover, challenging a widely held view, Professor Brewer uses this model to argue that legal reasoning by analogy, like analogical argument in logic, mathematics, and the natural sciences, can have ...

Modern logic is undergoing a cognitive turn, side-stepping Frege's 'antipsychologism'. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on ...