Semantics & Systems
by Khaled Ahmed, PhD
#4,297
in 🕹 Technology
in 🕹 Technology
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
- $8 a month
- $60 a year
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.
Is this your Substack?
Submit changes.
Semantics & Systems's recommended Substacks
Michael Spencer
AI Supremacy
News at the intersection of Artificial Intelligence, technology and business including Op-Eds, research summaries, guest contributions and valuable info about A.I. startups.
1000+
paid subscribers
paid subscribers
226K+
free subscribers
free subscribers
Terry Malone
Investigating the Hidden Side of Global Power
Long-form analysis of war, power, propaganda, and the political structures shaping the modern world.
100+
paid subscribers
paid subscribers
21K+
free subscribers
free subscribers