Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Dmitry Tsarkov

dblp:46/5520 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Natural language and speech › Language models and text generation
compositional generalization
0.922021
*-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.412020
Measuring Compositional Generalization: A Comprehensive Method on Realistic Data · ICLR 2020
Automated reasoning and model checking › automated reasoning
description logic reasoning
0.112005
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
YearPublicationVenuePosition
2021 *-CFQ: Analyzing the Scalability of Machine Learning on a Compositional Task
abstract
We 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
AAAI1
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
ICLR11
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
EKAW3
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
ISWC2
2005 Ordering Heuristics for Description Logic Reasoning
Dmitry Tsarkov, Ian Horrocks 0001
IJCAI1
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
ISWC1