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

J. Khan | Lattice

J. Khan

Independent

Papers on Lattice

1

Total citations

0

Topics

1

h-index

1

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)

Frequent co-authors

Jam Kabeer Ali Khan (1)Petros Markopoulos (1)Nicolás Lehmann (1)Nico Lehmann (1)

Papers (1)

Jul 14, 2026

IndependentJul 14, 2026·also UCSD, University of Chile

Foundational Constraint Solving for Expressive Refinement Typing

FLEX achieves a remarkable 95.7% automatic discharge rate of CHCs, redefining trust and expressiveness in program verification.

J. Khan, Jam Kabeer Ali Khan, Petros Markopoulos +3

Code Generation & Program Synthesis

Ranjit Jhala (1)