The AI Act: How we build compliance into the DNA of your AI system
Welcome to a new era of regulation. The EU’s AI Act is not just another set of rules—it’s a fundamental shift in […]
Reducing vs. eliminating scheming in AI output: The formal methods approach
The joint research by Apollo Research and OpenAI, “Stress Testing Deliberative Alignment for Anti-Scheming Training”, highlights both the promise and limits of […]
Challenges & Expectations – Interview with e-Orzecznik.pl
Our guest today is Marek Szkodziński, one of the leaders and founders of E-Orzecznik, a revolutionary company that is changing the face of occupational medicine in Poland through digitization.
Collaborative Program Improving Digital Documentation Procedures for Occupational Medicine in Poland using LLMs and Formal Methods
Press Release by FormalFoundry.ai with e-Orzecznik.pl 2023-09-25 Today, FormalFoundry.ai (FFai), a developer of formalization tools for use with large language models (LLMs), […]
First Post – The Thinking Machines Are Coming
Testing 123… The Thinking Machines Are Coming. Are we ready? I was working with GWU and former Computer Science Department Chair, Professor […]