Faithful Autoformalization of Natural Language Assertions
Formal contracts are essential for software testing and verification, yet writing them remains labor-intensive and error-prone. LLMs offer a promising path toward autoformalization: synthesizing executable assertions from natural-language s
https://arxiv.org/abs/2607.13303v1 ↗Thesis fit
Good fit
Within your typical scope; diligence still required.
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
▸ Add / edit details
Correct facts used on the next screening or memo.
People
H
Hongyi Liu
1.0
low confidence
M
Madhusudan Parthasarathy
1.0
low confidence
A
Adithya Murali
1.0
low confidence
Activity & evidence
Similar baseline plays (YC · idea space)
testRigor
· Active
Executable specifications in English for test automation
founders not scraped yet
Automorphic
· Active
Infuse knowledge into language models with just 10 samples
founders not scraped yet
Confident AI
· Active
The LLM Eval and Observability Platform for AI Quality
founders not scraped yet
Plasticity
· Acquired
Natural language processing APIs for developers.
Ajay Patel
Alex Sands