Bonomo-Braberman, Flavia

1. Generative transformations and patterns in LLM-native approaches for software verification and falsification
   2024/04/14 by Vı́ctor Braberman, Braberman, Víctor A., Flavia Bonomo +9 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #D.2.4 #D.2.5 #F.3.1 #FOS: Computer and information sciences #I.2.7 #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research
2. Non-crossing H-graphs: a generalization of proper interval graphs admitting FPT algorithms
   2025/01/19 by Flavia Bonomo, Bonomo-Braberman, Flavia, Nick Brettell +6 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Algorithms and Data Compression #Combinatorics (math.CO) #Computational Complexity (cs.CC) #Data Management and Algorithms #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics