• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The MetaCoq Project.

Matthieu SozeauAbhishek AnandSimon BoulierCyril CohenYannick ForsterFabian KunzeGregory MalechaNicolas TabareauThéo Winterhalter
Published in: J. Autom. Reason. (2020)
Keyphrases
  • case study
  • data collection
  • software development
  • project management
  • european project
  • future plans
  • data sets
  • neural network
  • learning algorithm
  • database systems
  • face recognition
  • evolutionary algorithm
  • european union