- ai
- vision-language
- multimodal
- hardware
- research
- technology
- industry
•
•
•
•
•
•
-
VerifIoU: Verified Object Detection and the Next Frontier in Safe CV
Part IV of the safe intelligence series: how VerifIoU certifies localization quality through IoU bounds, and why the next major challenge is geometric verification for object detectors.
-
DeepG: Certifying Geometric Robustness in Computer Vision
Part III of the safe intelligence series: how DeepG certifies neural networks against realistic geometric perturbations by relaxing the whole image-transformation composition at once.
-
Why Intervals Break: DPNEURIFYFV and the Dependency Problem
Part II of the safe intelligence series: why naive interval methods deteriorate with depth, and how DPNEURIFYFV sharpens symbolic interval propagation with fresh variables and branch-and-bound.
-
Formal Verification for Safe Intelligence: The DeepPoly View
Part I of a technical series on safe intelligence: why empirical robustness is not enough, and how DeepPoly made neural network certification both sound and scalable.
-
The State of Digitalisation in EU Agriculture: What the Data Finally Shows
Based on 1,444 farm interviews across nine EU countries, the JRC provides the first real baseline of agricultural digitalisation. The message is clear: software and records first, drones and heavy tech later.