Marco Pérez

IMDEA Software Institute, Madrid, Spain

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

Pedro López-García (1)J. Morales (1)Jose F. Morales (1)M. Hermenegildo (1)

Papers (1)

Jul 22, 2026

IMDEA Software InstituteJul 22, 2026·also Affiliation:, Universidad Politécnica de Madrid, Universidad Politécnica de Madrid (UPM), Université de La Réunion

Towards Relating Ciao Assertions and LPTP Theorems

Bridging Ciao assertions with LPTP theorems reveals new pathways for robust program verification by leveraging the strengths of both frameworks.

Marco Pérez, Pedro López-García, J. Morales +4

Code Generation & Program Synthesis Natural Language Processing

Search

Marco Pérez

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)