Semantics & Systems

Semantics & Systems

About the Substack

I help you do formal verification of your AI outputs, to reduce hallucinations and improve trust in your AI systems. Subscribe now to get step-by-step AI verification frameworks to improve your AI workflows.

Free Subscription Benefits

• Occasional public posts

Paid Subcription Benefits

• Subscriber-only posts and full archive
• Post comments and join the community

Paid Subscription Plans

• $60 a year
• $8 a month

About Khaled Ahmed, PhD

PhD from UBC. I specialize in the verification of large language models (LLMs), dynamic and static program analysis, and software reliability. I write about the intersection of these topics.