Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Pat Rondon | Lattice

Pat Rondon

Affiliation:

Papers on Lattice

1

Total citations

0

Topics

3

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Michele Tufano (1)James McClure (1)José Cambronero (1)Runxiang Cheng (1)

Papers (1)

Aug 17, 2026

Michele Tufano +91w ago·also Affiliation:

Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation

Spec-Driven Test Generation boosts bug detection rates by nearly 10% by making LLMs reason about code contracts before generating tests.

Michele Tufano, James McClure, José Cambronero +7

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought

Sherry Y. Shi (1)

Dorothy Chen (1)

Franjo Ivančić (1)