Get started
Author

Pablo Manrique

Observed name: Manrique, Pablo
Institution: TU Wien
Observed institution: TU Wien
OpenAlex ID: A5144160670
SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability
2026 · Manrique, Pablo, Xia, Hai, et al. · arXiv (Cornell University)
PDF
LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean
2026 · Manrique, Pablo, Szeider, Stefan · arXiv (Cornell University)
PDF
Works count: 2
Citation count:
H-index:
I10-index:
Year
Topic
Type