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

Christopher Henson | Lattice

Christopher Henson

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)

Papers (1)

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