Lune

CCS2026Top-tier venue

Melior, Verifiable Mixed-Integer Programming via zkSNARKs

Wenjie Qu, Yanze Jiang, Yanpei Guo, Jiaheng Zhang

Publisher
2026Year

Ask about this paper

Ask your agent about it.

Lune has read the top-tier papers around this one, so every answer names the papers it rests on.

Questions to start from

Your agent calls

Lunesearch_papers

Ask in Lune

Free to start. No credit card required.

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines