Add neural proof net class (!1) · Merge requests · PNRIA / Global Helper / DeepGrail Tagger-Linker

Merged Caroline de Pourtalès requested to merge add-neural-proof-net-class into main 2 years ago

Jul 13, 2022
- Merge branch 'main' into 'add-neural-proof-net-class' · 05a378e8
  Caroline de Pourtalès authored 2 years ago
  
  # Conflicts: # README.md
  05a378e8
Jul 12, 2022
- adding class neuralproofnet and good config · ebcd90cd
  Caroline DE POURTALES authored 2 years ago
  
  ebcd90cd
Jul 11, 2022
- adding class neuralproofnet · 76b70555
  Caroline DE POURTALES authored 2 years ago
  
  76b70555
Jun 27, 2022
- init · d33e3976
  Caroline DE POURTALES authored 2 years ago
  
  d33e3976

Add neural proof net class