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

Fabrizio Montesi | Lattice

Fabrizio Montesi

Papers on Lattice

2

Total citations

0

Topics

2

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (2)Open-Source Models & Weights (2)

Frequent co-authors

Marco Peressotti (1)Alexandre Rademaker (1)Christopher Henson (1)

Papers (2)

Feb 17, 2026

Fabrizio Montesi +23w ago

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library

Formalizing Hennessy-Milner Logic in Lean's CSLib provides a reusable and verified foundation for reasoning about labelled transition systems.

Fabrizio Montesi, Marco Peressotti, Alexandre Rademaker

Code Generation & Program Synthesis Open-Source Models & Weights

Feb 16, 2026

Christopher Henson +1Feb 16, 2026

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)

Formalized computer science gets a Mathlib-inspired boost with CSLib, a new Lean library promising reusable semantics and automated proofs.

Christopher Henson, Fabrizio Montesi

Code Generation & Program Synthesis Open-Source Models & Weights