Picture for Federico Mora

Federico Mora

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages

Add code
Jun 05, 2024
Viaarxiv icon

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes

Add code
Oct 18, 2023
Viaarxiv icon

String Theories involving Regular Membership Predicates: From Practice to Theory and Back

Add code
May 15, 2021
Figure 1 for String Theories involving Regular Membership Predicates: From Practice to Theory and Back
Figure 2 for String Theories involving Regular Membership Predicates: From Practice to Theory and Back
Viaarxiv icon