Papers Digest Topics Labs Collections FAQ

Track papers across labs, topics, and trends.

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Lattice AI Lattice Medical Lattice Physics Lattice Chemistry Lattice Maths Lattice Robotics Lattice Biology

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Julia Kotovich

Papers on Lattice

1

Total citations

0

Topics

2

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

Alessandro Schena (1)Ilgiz Mustafin (1)

Papers (1)

Sep 2, 2026

Alessandro Schena +2Sep 2, 2026

Large Language Models and Language Server Protocol: a match made in context

Eiffel-tools can fix up to 95% of bugs in statically verified software by intelligently combining LLMs with formal verification.

Alessandro Schena, Ilgiz Mustafin, Julia Kotovich

Code Generation & Program Synthesis Natural Language Processing