3 papers
cs.DC2026
Looking for (Genomic) Needles in a Haystack: Sparsity-Driven Search for Identifying Correlated Genetic Mutations in Cancer
Ritvik Prabhu, Emil Vatai, Bernard Moussad +4
Cancer typically arises not from a single genetic mutation (i.e., hit) but from multi-hit combinations that accumulate within cells. However, enumerating multi-hit combinations bec…
cs.CL2025
SAFE: Improving LLM Systems using Sentence-Level In-generation Attribution
João Eduardo Batista, Emil Vatai, Mohamed Wahib
Large Language Models (LLMs) are increasingly applied in various science domains, yet their broader adoption remains constrained by a critical challenge: the lack of trustworthy, v…
cs.LG2025
Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness
Emil Vatai, Aleksandr Drozd, Ivan R. Ivanov +3
Frameworks and domain-specific languages for auto-generating code have traditionally depended on human experts to implement rigorous methods ensuring the legality of code transform…