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

Alexis Saurin | Lattice

Alexis Saurin

Papers on Lattice

1

Total citations

0

Topics

3

h-index

1

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Meven Bertrand (1)Meven Lennon Bertrand (1)

Papers (1)

Mar 3, 2026

Meven Bertrand +21w ago

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-\v{C}ubri\'c Interpolation

Bidirectional typing offers a fresh, formalized perspective on proof-relevant Craig-\v{C}ubri\'c interpolation in the lambda-calculus.

Meven Bertrand, Meven Lennon Bertrand, Alexis Saurin

Code Generation & Program Synthesis Natural Language Processing Reasoning & Chain-of-Thought