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

Zoe Paraskevopoulou | Lattice

Zoe Paraskevopoulou

Argot Collective

Papers on Lattice

2

Total citations

0

Topics

4

h-index

9

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (2)Scalable Oversight & Alignment Theory (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Lefteris Lazaropoulos (1)

Papers (2)

Jul 28, 2026

Argot CollectiveJul 28, 2026

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

Foundational mechanized proofs can now be produced at scale using LLMs, transforming the economics of formal verification in programming languages.

Lefteris Lazaropoulos, Zoe Paraskevopoulou

Code Generation & Program Synthesis Scalable Oversight & Alignment Theory

Feb 23, 2026

Argot CollectiveFeb 23, 2026·also NTUA

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

LLMs can now tackle substantial formal verification tasks from scratch, slashing development time for verified compilers.

Zoe Paraskevopoulou

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents