Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Roberto Sebastiani

Artificial Intelligence Verifying AI Systems with New Techniques

A fresh approach to ensure AI systems are reliable and safe.

2025-09-10T05:53:24+00:00 ― 6 min read

Logic in Computer Science Advancements in Decision Diagrams for SMT Problems

A new method for applying decision diagrams to Satisfiability Modulo Theories.

2025-08-16T09:34:18+00:00 ― 7 min read