Yakir Vizel

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

Omer Rappoport (1)Orna Grumberg (1)

Papers (1)

Aug 5, 2026

Omer Rappoport +23w ago

Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning

Mosaic's innovative modular reasoning approach enables substantial performance gains in bit-precise program verification, outperforming existing solvers.

Omer Rappoport, Orna Grumberg, Yakir Vizel

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Yakir Vizel

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)