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

Alexandre Rademaker | Lattice

Alexandre Rademaker

Papers on Lattice

1

Total citations

0

Topics

2

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

Fabrizio Montesi (1)Marco Peressotti (1)

Papers (1)

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