Clark W. Barrett

Papers on Lattice

Total citations

Topics

h-index

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

Daneshvar Amrollahi (1)Jerry Lopez (1)

Papers (1)

Apr 27, 2026

Daneshvar Amrollahi +23w ago

Faithful Autoformalization via Roundtrip Verification and Repair

LLMs can now formalize natural language with significantly higher fidelity, thanks to a clever roundtrip verification method that self-diagnoses and repairs translation errors.

Daneshvar Amrollahi, Jerry Lopez, Clark W. Barrett

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

Search

Clark W. Barrett

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)