Researchers at OpenShell have applied formal methods to control AI agents, enabling the creation of a "proof" that a proposed policy change stays within the approved scope. This approach uses the Z3 open-source library to model and verify complex policies, providing a deterministic and fast way to audit and prove invariants. AI summary
Firehose
Filtered to tagged “formal methods” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives
Browse by tag
artificial intelligence 87continual learning 32AI 24reinforcement learning 14agentic coding 13AI safety 13open-weight models 13AI agents 10existential risk 9AI ethics 8cybersecurity 8ethics 7language models 7machine learning 7natural language processing 6open-source 6Reinforcement learning 6security 6artificial general intelligence 5Diffusion models 5recursive self-improvement 5robotics 5software development 5Agentic AI 4large language models 4mathematics 4multi-agent systems 4Recursive self-improvement 4agentic AI 3agents 3