← back

Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification

Software evolves continuously, yet ensuring that a patch preserves intended behavior without re-verifying an entire codebase remains difficult. Regression verification addresses this problem, but existing techniques require expensive whole-

https://arxiv.org/abs/2607.10291v1 ↗
Thesis fit
Good fit

Within your typical scope; diligence still required.

Edit thesis
In your usual scope
Idea match Light

How close the company’s idea is to your thesis statement

Sector llm, 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 → stable Traction → stable Idea vs market ↑ improving
Generate memo
▸ Add / edit details

Correct facts used on the next screening or memo.

People

Y
Yiannis Charalambous
1.0
low confidence
R
Rafael Menezes
1.0
low confidence
Y
Youcheng Sun
1.0
low confidence
L
Lucas C. Cordeiro
1.0
low confidence

Activity & evidence

arXiv Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification · based on signal ▸

Similar baseline plays (YC · idea space)

Theorem · Active
Program verification so even your systems engineers can vibecode
Abeer Agrawal
Helicone · Acquired
LLM Observability for Developers
founders not scraped yet
Confident AI · Active
The LLM Eval and Observability Platform for AI Quality
founders not scraped yet
Traceloop · Acquired
Know what your LLM is doing — and why it’s failing
Nir Gazit Gal Kleinman
Opslane · Active
Verify AI-generated code before you ship it
founders not scraped yet