Picture for Ruben Martins

Ruben Martins

Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models

Add code
Jun 09, 2024
Figure 1 for Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
Figure 2 for Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
Figure 3 for Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
Figure 4 for Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
Viaarxiv icon

Large Language Models for Test-Free Fault Localization

Add code
Oct 03, 2023
Viaarxiv icon

MELT: Mining Effective Lightweight Transformations from Pull Requests

Add code
Aug 28, 2023
Viaarxiv icon

UpMax: User partitioning for MaxSAT

Add code
May 25, 2023
Viaarxiv icon

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

Add code
Dec 28, 2020
Figure 1 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Figure 2 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Figure 3 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Figure 4 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Viaarxiv icon

Reflections on "Incremental Cardinality Constraints for MaxSAT"

Add code
Oct 10, 2019
Figure 1 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 2 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 3 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Figure 4 for Reflections on "Incremental Cardinality Constraints for MaxSAT"
Viaarxiv icon

Approximation Strategies for Incomplete MaxSAT

Add code
Jun 19, 2018
Figure 1 for Approximation Strategies for Incomplete MaxSAT
Viaarxiv icon

Relating Complexity-theoretic Parameters with SAT Solver Performance

Add code
Jun 26, 2017
Figure 1 for Relating Complexity-theoretic Parameters with SAT Solver Performance
Figure 2 for Relating Complexity-theoretic Parameters with SAT Solver Performance
Figure 3 for Relating Complexity-theoretic Parameters with SAT Solver Performance
Figure 4 for Relating Complexity-theoretic Parameters with SAT Solver Performance
Viaarxiv icon

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Add code
Jul 21, 2015
Figure 1 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Figure 2 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Figure 3 for Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Viaarxiv icon

Exploiting Resolution-based Representations for MaxSAT Solving

Add code
May 10, 2015
Figure 1 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 2 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 3 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 4 for Exploiting Resolution-based Representations for MaxSAT Solving
Viaarxiv icon