Some thoughts about benchmarks for NMR

by   Daniel Le Berre, et al.

The NMR community would like to build a repository of benchmarks to push forward the design of systems implementing NMR as it has been the case for many other areas in AI. There are a number of lessons which can be learned from the experience of other communi- ties. Here are a few thoughts about the requirements and choices to make before building such a repository.


page 1

page 2

page 3

page 4


Meta model application for consistency management of models for avionic systems design

This paper presents the application of a meta model and single underlyin...

CINIC-10 is not ImageNet or CIFAR-10

In this brief technical report we introduce the CINIC-10 dataset as a pl...

RepoFusion: Training Code Models to Understand Your Repository

Despite the huge success of Large Language Models (LLMs) in coding assis...

Automatic Recall of Software Lessons Learned for Software Project Managers

Lessons learned (LL) records constitute the software organization memory...

Formalizing IMO Problems and Solutions in Isabelle/HOL

The International Mathematical Olympiad (IMO) is perhaps the most celebr...

Analysis of SVN Repositories for Remote Access

Software Evolution is considered to be essential and challenging charact...

A Live Extensible Ontology of Quality Factors for Textual Requirements

Quality factors like passive voice or sentence length are commonly used ...

Please sign up or login with your details

Forgot password? Click here to reset