Scholar
Pedro Orvalho
Google Scholar ID: FfqinEsAAAAJ
University of Oxford
Automated Reasoning
Automated Verification
Program Repair
Computer-aided Education
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
162
H-index
8
i10-index
7
Publications
18
Co-authors
12
list available
Publications
9 items
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
2026
Cited
0
MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku
2026
Cited
0
Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
2026
Cited
0
Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
2025
Cited
0
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
2025
Cited
0
Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
2025
Cited
0
Can Automated Feedback Turn Students into Happy Prologians?
2025
Cited
0
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
World Congress on Formal Methods · 2024
Cited
2
Load more
Co-authors
9 total
Vasco Manquinho
INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
Mikoláš Janota
CTU Prague
Ruben Martins
Carnegie Mellon University
Jelle Piepenbrock
Eindhoven University of Technology
Eunsuk Kang
Associate Professor of Computer Science, Carnegie Mellon University
David Garlan
Professor of Computer Science, Carnegie Mellon University
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Ricardo Brancas
PhD Student, Instituto Superior Técnico
