Pablo Manrique

TU Wien

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Scalable Oversight & Alignment Theory (1)World Models & Planning (1)

Frequent co-authors

P. Manrique (1)Stefan Szeider (1)

Papers (1)

Jul 30, 2026

P. Manrique +2Jul 30, 2026·also TU Wien

LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean

Verified symmetry breaking in LeanCSP can reduce solver search efforts by up to 20 million times, revolutionizing trust in constraint programming results.

P. Manrique, Pablo Manrique, Stefan Szeider

Code Generation & Program Synthesis Scalable Oversight & Alignment Theory World Models & Planning

Search

Pablo Manrique

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)