Demo Data from SIGIR 2026 / 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
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
2 papers |
Planning, search and constraint satisfaction · 78% Kernel, tree and ensemble methods · 22% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 50% Computational complexity · 50% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › heuristic search › heuristic generation › heuristic learning
learned heuristics |
0.7 | 1 | 2023 | Learning Interpretable Heuristics for WalkSAT · KR 2023 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › heuristic search
local search |
0.7 | 1 | 2023 | Learning Interpretable Heuristics for WalkSAT · KR 2023 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
satisfiability |
0.7 | 1 | 2023 | Learning Interpretable Heuristics for WalkSAT · KR 2023 |
Machine learning › Kernel, tree and ensemble methods
ensemble learning |
0.6 | 1 | 2022 | The Conditional Super Learner · IEEE Trans. Pattern Anal. Mach. Intell. 2022 |
Automated reasoning and model checking › satisfiability
SAT solving |
0.1 | 1 | 2005 | A Model for Generating Random Quantified Boolean Formulas · IJCAI 2005 |
Methods — techniques the papers use, named apart from their topics
reinforcement learning · 0.7stacking · 0.6cross-validation · 0.6random formula generation · 0.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 |