Tag: formal reasoning
-
Hacker News: Clean, a formal verification DSL for ZK circuits in Lean4
Source URL: https://blog.zksecurity.xyz/posts/clean/ Source: Hacker News Title: Clean, a formal verification DSL for ZK circuits in Lean4 Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The provided text discusses the development of an embedded Domain-Specific Language (DSL) and formal verification framework for Zero-Knowledge (ZK) circuits using Lean4. The project aims to enhance the correctness…
-
The Register: Can AWS really fix AI hallucination? We talk to head of Automated Reasoning Byron Cook
Source URL: https://www.theregister.com/2025/01/07/interview_with_aws_byron_cook/ Source: The Register Title: Can AWS really fix AI hallucination? We talk to head of Automated Reasoning Byron Cook Feedly Summary: Engineer who works on ways to prove code’s mathematically correct finds his field’s suddenly much less obscure Interview A notable flaw of AI is its habit of “hallucinating," making up plausible…
-
Hacker News: LLMs don’t do formal reasoning – and that is a HUGE problem
Source URL: https://garymarcus.substack.com/p/llms-dont-do-formal-reasoning-and Source: Hacker News Title: LLMs don’t do formal reasoning – and that is a HUGE problem Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses insights from a new article on large language models (LLMs) authored by researchers at Apple, which critically examines the limitations in reasoning capabilities of…