EDBT 2026 Demo / reviewers in the wild / expert
Eric Zhao 0007
dblp:371/4521
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
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.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 50% Program synthesis and code generation · 50% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › programming paradigms
declarative programming |
0.8 | 1 | 2024 | Relational Programming with Foundational Models · AAAI 2024 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic programming |
0.2 | 1 | 2024 | Relational Programming with Foundational Models · AAAI 2024 |
Methods — techniques the papers use, named apart from their topics
information retrieval · 1.5in-context learning · 1.5code interpretation · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Relational Programming with Foundational ModelsabstractFoundation models have vast potential to enable diverse AI applications. The powerful yet incomplete nature of these models has spurred a wide range of mechanisms to augment them with capabilities such as in-context learning, information retrieval, and code interpreting. We propose Vieira, a declarative framework that unifies these mechanisms in a general solution for programming with foundation models. Vieira follows a probabilistic relational paradigm and treats foundation models as stateless functions with relational inputs and outputs. It supports neuro-symbolic applications by enabling the seamless combination of such models with logic programs, as well as complex, multi-modal applications by streamlining the composition of diverse sub-models. We implement Vieira by extending the Scallop compiler with a foreign interface that supports foundation models as plugins. We implement plugins for 12 foundation models including GPT, CLIP, and SAM. We evaluate Vieira on 9 challenging tasks that span language, vision, and structured and vector databases. Our evaluation shows that programs in Vieira are concise, can incorporate modern foundation models, and have comparable or better accuracy than competitive baselines. Ziyang Li 0002, Felix Zhu, Eric Zhao 0007, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik |
AAAI | 5 |