About: covid:arg/f226ea2e949899e939bd15aae2227b9dea7c3066/1

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: covid:arg/f226ea2e949899e939bd15aae2227b9dea7c3066/1 Goto Sponge NotDistinct Permalink

An Entity of Type : amo:Evidence, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	sioca:Justification aif:I-node evidence
wasQuotedFrom	Program Synthesis Using Deduction-Guided Reinforcement Learning
sioca:supports	covid:arg/f226ea2e949899e939bd15aae2227b9dea7c3066/0
aif:formDescription	In particular , Concord solves 15 % more benchmarks compared to Neo , a state - of - the - art synthesis tool , while improving synthesis time by 8 . 71× on benchmarks that can be solved by both tools .
proves	covid:arg/f226ea2e949899e939bd15aae2227b9dea7c3066/0
is hasSource of	nodeID://b56740272 nodeID://b57001020 nodeID://b57036836 nodeID://b57348268 nodeID://b57553524
is sioca:supports of	covid:arg/f226ea2e949899e939bd15aae2227b9dea7c3066/0
is has evidence of	covid:arg/f226ea2e949899e939bd15aae2227b9dea7c3066
is proves of	covid:arg/f226ea2e949899e939bd15aae2227b9dea7c3066/0

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software