VLDB 2026 Research / reviewers in the wild / expert
Yannet Interian
dblp:30/577
· DBLP profile ↗
7ranked-venue papers
2as first author
3since 2021 · last 2023
0000-0002-3906-3127ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 6 · 2 first-author · 3 since 2021Theory of computation · 2 · 2 first-author · 1 since 2021Databases, data management, data science and information retrieval · 1Graphics, computer vision, multimedia, augmented reality and games · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Learning Interpretable Heuristics for WalkSATabstractLocal search algorithms are well-known methods for solving large, hard instances of the satisfiability problem (SAT). The performance of these algorithms crucially depends on heuristics for setting noise parameters and scoring variables. The optimal setting for these heuristics varies for different instance distributions. In this paper, we present an approach for learning effective variable scoring functions and noise parameters by using reinforcement learning. We consider satisfiability problems from different instance distributions and learn specialized heuristics for each of them. Our experimental results show improvements with respect to both a WalkSAT baseline and another local search learned heuristic. Yannet Interian, Sara Bernardini |
KR | 1 |
| 2022 | The Conditional Super Learner
Gilmer Valdes, Yannet Interian, Efstathios D. Gennatas, Mark J. van der Laan |
IEEE Trans. Pattern Anal. Mach. Intell. | 2 |
| 2021 | The Physiological Deep Learner: First application of multitask deep learning to predict hypotension in critically ill patients
Ményssa Cherifa, Yannet Interian, Alice Blet, Matthieu Resche-Rigon, Romain Pirracchio |
Artif. Intell. Medicine | 2 |
| 2013 | Catching a viral video
Tom Broxton, Yannet Interian, Jon Vaver, Mirjam Wattenhofer |
J. Intell. Inf. Syst. | 2 |
| 2005 | A Model for Generating Random Quantified Boolean Formulas
Hubie Chen, Yannet Interian |
IJCAI | 2 |
| 2005 | Regular Random k-SAT: Properties of Balanced Formulas
Yacine Boufkhad, Olivier Dubois 0002, Yannet Interian, Bart Selman |
J. Autom. Reason. | 3 |
| 2004 | Approximation Algorithm for Random MAX-kSAT
Yannet Interian |
SAT | 1 |