Ruben Martins
- Large Language Models for Test-Free Fault Localization
2023/10/03 by Aidan Z. H. Yang, Yang, Aidan Z. H., Ruben Martins +5 · 35 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Program Synthesis using Conflict-Driven Learning
2017/11/21 by Feng Yu, Feng, Yu, Ruben Martins +5 · 6 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software Reliability and Analysis Research
- Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
2016/11/22 by Yu Feng, Ruben Martins, Feng, Yu +7 · 4 citations
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Mining Algorithms and Applications #Data Quality and Management #FOS: Computer and information sciences #I.2.2 #Programming Languages (cs.PL)
- Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
2024/06/09 by Aidan Z. H. Yang, Yang, Aidan Z. H., Haoye Tian +7 · 1 voice · 7 citations
Computer Science · Decision Sciences · #Cryptography and Security (cs.CR) #Data Quality and Management #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Topic Modeling #Web Application Security Vulnerabilities #cs.CR #cs.LG #cs.SE
- Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
2023/11/07 by Bernardo Subercaseaux, Subercaseaux, Bernardo, John R. Mackey +5 · 2 citations
Computer Science · Engineering · #Computational Geometry (cs.CG) #Computational Geometry and Mesh Generation #Constraint Satisfaction and Optimization #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Manufacturing Process and Optimization
- Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience
2026/07/16 by Ruben Martins
#cs.LO #cs.AI
- What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
2026/07/20 by Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Computer Science · #Teaching and Learning Programming #Software Testing and Debugging Techniques #Software Engineering Research