π¨βπ»π΅οΈββοΈ MSCA COFUND Postdoctoral Fellow @ IIIA-CSIC, Barcelona πͺπΈπͺπΈ
&&
π΅οΈββοΈ Visiting Researcher @ University of Oxford π¬π§
-
IIIA, CSIC
- Oxford, UK
- https://pmorvalho.github.io
Pinned Loading
-
LLM-CEGIS-Repair
LLM-CEGIS-Repair PublicAAAI 2025: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
-
MENTOR
MENTOR PublicMENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair
Python
-
squares-sql/SQUARES
squares-sql/SQUARES PublicA SQL and R Synthesizer Using Query Reverse Engineering
-
C-Pack-IPAs
C-Pack-IPAs PublicC-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
C 7
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


