Model checking
AssessTechniques
A formal verification technique for exhaustively exploring program states.
Why it's here
Placed in Assess: 4 article(s) of evidence from 3 source(s), led by research-stage coverage, with 0 in the last 30 days. Confidence 59%.
Evidence (4)
- 5Hacker News·7/14/2026researchThinking Machines argues for AI shaped by human judgment
Thinking Machines outlines a vision for AI that extends human will and judgment rather than replacing it. The company says it is building strong models, customization tools, and interfaces that let people continuously shape AI through work, feedback, and even training model weights.
- 4InfoQ·7/10/2026researchPodcast on Formal Methods in an AI-Powered Future
In this InfoQ podcast, Shane Hastie speaks with Gabriela Moreira about making formal methods more accessible through the Quint specification language. The discussion also covers how AI is lowering the barrier to formal specification and model-based testing, while emphasizing that defining correct system behavior remains a human responsibility.
- 5Hacker News·7/6/2026researchKani: A Model Checker for Rust
Kani is a model checker for Rust programs that aims to verify correctness properties and find bugs in code. The article highlights research on using formal verification techniques to analyze Rust software.
- 4OpenAI Blog·3/6/2026researchBalyasny Builds an AI Research Engine with OpenAI
Balyasny Asset Management says it is reinventing investment research by combining rigorous model evaluation, full-platform use of OpenAI, and agent workflows. The effort centers on using AI to support and scale research processes across the firm.