← back
M

Martin Vechev

2.0
Founder Score · low confidence
1/5 signal groups
Track record 0.0/30 Career 0.0/20 Shipping 0.0/30 Research 2.0/10 Network 0.0/10
Research
  • 2 recent paper(s)

Opportunities

all opportunities ▸

Internal company pages for screening and memo — not external source links.

Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
Languages with rich static semantics, such as Rust, provide stronger guarantees for AI-generated code, but their strictness makes generation more difficult. Off-the-shelf compilers
founded · arXiv · research
Open ▸

Activation — cold outreach, not cold investment

Generates a personal note referencing this founder's actual work, inviting a real application.

▸ Add / edit details

On save, the model re-reads scraped profile text plus your investor details, then rebuilds Experience / Education (adds and removes) and refreshes the score.

Ventures

Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
founded
Opportunity ▸

Output & traction

Leveraging Instruction Tuning and Merging for Reasoning Model Adaptation
authored · 2026 · paper
arXiv
Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
authored · 2026 · paper
arXiv