Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensiv
As the cost of code generation becomes cheaper with AI, the new bottleneck in software engineering has shifted to intent specification and validation. Overcoming this durability crisis of AI-driven coding requires more than traditional fuzz
https://arxiv.org/abs/2607.09072v1 ↗Thesis fit
Good fit
Within your typical scope; diligence still required.
In your usual scope
Idea match
Moderate
How close the company’s idea is to your thesis statement
Sector
ai
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
S
Seongmin Lee
1.0
low confidence
Y
Yaoxuan Wu
1.0
low confidence
M
Miryung Kim
1.0
low confidence