Research author

Pablo Manrique

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Pablo Manrique

Jul 30, 2026
cs.AI

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

Pablo Manrique, Stefan Szeider

Pablo Manrique — AI Research Papers | One9Founders