SMC-ES: Automated synthesis of formally verified control policies
The deployment of autonomous cyber-physical systems in safety-critical environments requires closed-loop control strategies (i.e., policies) that are not only performant but also provably safe and robust. While learning-based methodologies
https://arxiv.org/abs/2607.15003v1 ↗Thesis fit
Off-thesis
Outside your stated focus; easy to skip unless something exceptional.
Below your usual filter (40+)
Idea match
Light
How close the company’s idea is to your thesis statement
Sector
None
Overlap with sectors you care about
Geography
Unknown
Location unknown — scores 0
Your thesis: “We back exceptional technical founders building AI-first products and infrastructure, deploying $100K checks within 24 hours.”
Founder ↑ improving
Traction → stable
Idea vs market ↓ declining
▸ Add / edit details
Correct facts used on the next screening or memo.
People
R
Riccardo Curcio
2.6
low confidence
T
Toni Mancini
7.2
low confidence
E
Enrico Tronci
2.0
low confidence