Demo Data from VLDB 2026 / reviewers in the wild / expert
Dmitry Tsarkov
dblp:46/5520
· DBLP profile ↗
9ranked-venue papers
4as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Databases, data management, data science and information retrieval · 5 · 1 first-authorArtificial intelligence and machine learning · 4 · 3 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-author · 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.
| Artificial intelligence
2 papers |
Language models and text generation · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Natural language and speech › Language models and text generation
compositional generalization |
0.9 | 2 | 2021 | *-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task · AAAI 2021 Measuring Compositional Generalization: A Comprehensive Method on Realistic Data · ICLR 2020 |
Software testing › test infrastructure
benchmark construction |
0.4 | 1 | 2020 | Measuring Compositional Generalization: A Comprehensive Method on Realistic Data · ICLR 2020 |
Automated reasoning and model checking › automated reasoning
description logic reasoning |
0.1 | 1 | 2005 | Ordering Heuristics for Description Logic Reasoning · IJCAI 2005 |
Methods — techniques the papers use, named apart from their topics
compositional generalization evaluation · 0.9transformer · 0.5scaling analysis · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | *-CFQ: Analyzing the Scalability of Machine Learning on a Compositional TaskabstractWe present *-CFQ ("star-CFQ"): a suite of large-scale datasets of varying scope based on the CFQ semantic parsing benchmark, designed for principled investigation of the scalability of machine learning systems in a realistic compositional task setting. Using this suite, we conduct a series of experiments investigating the ability of Transformers to benefit from increased training data size under conditions of fixed computational cost. We show that compositional generalization remains a challenge at all training sizes, and we show that increasing the scope of natural language leads to consistently higher error rates, which are only partially offset by increased training data. We further show that while additional training data from a related domain improves the accuracy in data-starved situations, this improvement is limited and diminishes as the distance from the related domain to the target domain increases. Dmitry Tsarkov, Tibor Tihon, Nathan Scales, Nikola Momchev, Danila Sinopalnikov, Nathanael Schärli |
AAAI | 1 |
| 2020 | Measuring Compositional Generalization: A Comprehensive Method on Realistic Data
Daniel Keysers, Nathanael Schärli, Nathan Scales, Hylke Buisman, Daniel Furrer, Sergii Kashubin, Nikola Momchev, Danila Sinopalnikov, Lukasz Stafiniak, Tibor Tihon, Dmitry Tsarkov, Xiao Wang 0038, Marc van Zee, Olivier Bousquet |
ICLR | 11 |
| 2014 | A Quality Assurance Workflow for Ontologies Based on Semantic Regularities
Eleni Mikroyannidi, Manuel Quesada-Martínez, Dmitry Tsarkov, Jesualdo Tomás Fernández-Breis, Robert Stevens 0001, Ignazio Palmisano |
EKAW | 3 |
| 2013 | Empirical Study of Logic-Based Modules: Cheap Is Cheerful
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Dmitry Tsarkov |
ISWC (1) | 6 |
| 2007 | Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov, Ian Horrocks 0001, Peter F. Patel-Schneider |
J. Autom. Reason. | 1 |
| 2006 | Framework for an Automated Comparison of Description Logic Reasoners
Tom Gardiner, Dmitry Tsarkov, Ian Horrocks 0001 |
ISWC | 2 |
| 2005 | Ordering Heuristics for Description Logic Reasoning
Dmitry Tsarkov, Ian Horrocks 0001 |
IJCAI | 1 |
| 2005 | OWL rules: A proposal and prototype implementation
Ian Horrocks 0001, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov |
J. Web Semant. | 4 |
| 2004 | Using Vampire to Reason with OWL
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks 0001 |
ISWC | 1 |