Commits · b8dd02d9784a6ad1d9627dff76a2e2eba2abb093 · SIGMathLing / website · GitLab

Snippets Groups Projects

Apr 03, 2020
- Update .gitlab-ci.yml · b8dd02d9
  Tom Wiesing authored 4 years ago
  
  b8dd02d9
Mar 26, 2020
- Merge branch 'grounding-dataset-v1' into 'master' · d62121df
  Michael Kohlhase authored 4 years ago
  
  Grounding dataset v1 See merge request !12
  d62121df
- move grounding-dataset to a new WIP section · 49cef0de
  Takuto Asakura authored 4 years ago
  
  49cef0de
Mar 22, 2020
- grounding-dataset-v1: fix the download link · f399d279
  Takuto Asakura authored 4 years ago
  
  f399d279
Mar 17, 2020
- add grounding-dataset-v1 · 7212be24
  Takuto Asakura authored 5 years ago
  
  7212be24
Jan 31, 2020
- Merge branch 'fix-sidebar-gitlab-link' into 'master' · 628a2ae7
  Deyan Ginev authored 5 years ago
  
  Fix gitlab link in sidebar See merge request !11
  628a2ae7
- Update sidebar.html · 8eea546f
  Deyan Ginev authored 5 years ago
  
  8eea546f
Oct 01, 2019
- Merge branch 'embeddings-2019-updated' into 'master' · 52191699
  Deyan Ginev authored 5 years ago
  
  updated 2019 embeddings handling apostrophe tokenization better See merge request !10
  52191699
Sep 29, 2019
- updated 2019 embeddings handling apostrophe tokenization better · 175ee721
  Deyan Ginev authored 5 years ago
  
  175ee721
- rename with title substring to properly index Michaels blog post · 5fad79dc
  Deyan Ginev authored 5 years ago
  
  5fad79dc
Sep 23, 2019
- Merge branch 'master' of gl.kwarc.info:SIGMathLing/website · e1c77e0b
  Michael Kohlhase authored 5 years ago
  
  e1c77e0b
Sep 21, 2019
- post · 61ea0dc6
  Michael Kohlhase authored 5 years ago
  
  61ea0dc6
Sep 19, 2019
- indent glove code snippets · 7bd8350f
  Deyan Ginev authored 5 years ago
  
  7bd8350f
- some omissions in updating from 2018 embedding page · b2df67ad
  Deyan Ginev authored 5 years ago
  
  b2df67ad
- Merge branch 'arxmliv-dataset-2019' into 'master' · 84be8ca3
  Deyan Ginev authored 5 years ago
  
  Adding 2019 arXMLiv resources See merge request !9
  84be8ca3
- adding 2019 arXMLiv resources, and tidying up page references and notes · 7b620040
  Deyan Ginev authored 5 years ago
  
  7b620040
Aug 30, 2019
- bad date typo in news item · 536cdcc7
  Deyan Ginev authored 5 years ago
  
  536cdcc7
- Merge branch 'statement-dataset-release' into 'master' · c50cbdc9
  Deyan Ginev authored 5 years ago
  
  First announcement of statement dataset See merge request !8
  c50cbdc9
- add news item for statement classification data · 79670257
  Deyan Ginev authored 5 years ago
  
  79670257
- preprpint URL now available · e92d378d
  Deyan Ginev authored 5 years ago
  
  e92d378d
Jul 22, 2019
- typo · 1909f942
  Deyan Ginev authored 5 years ago
  
  1909f942
- add frequency breakdown of contents · bae00ca5
  Deyan Ginev authored 5 years ago
  
  bae00ca5
- add to resource page · b075b463
  Deyan Ginev authored 5 years ago
  
  b075b463
- first announcement of statement dataset · 9d716bdd
  Deyan Ginev authored 5 years ago
  
  9d716bdd
Jul 20, 2019
- Merge branch 'arxmliv-page' into 'master' · 2688fb64
  Deyan Ginev authored 5 years ago
  
  Add arxmliv subresource page for bibtex url to resolve See merge request !7
  2688fb64
- add arxmliv subresource page for bibtex url to resolve · f91c027e
  Deyan Ginev authored 5 years ago
  
  f91c027e
- Merge branch 'update-arxmliv-embeddings' into 'master' · 5e3cf319
  Deyan Ginev authored 5 years ago
  
  Update embeddings description with "nomath" controls See merge request !6
  5e3cf319
- Update embeddings description with "nomath" controls · c09ed9ec
  Deyan Ginev authored 5 years ago
  
  c09ed9ec
Jul 09, 2019
- reordering · fe466e65
  Michael Kohlhase authored 5 years ago
  
  fe466e65
- more · 84d41370
  Michael Kohlhase authored 5 years ago
  
  84d41370
- reformulation · d63bd576
  Michael Kohlhase authored 5 years ago
  
  d63bd576
- adding an external resource · c08b9577
  Michael Kohlhase authored 5 years ago
  
  c08b9577
Oct 30, 2018
- fix arXMLiv link · 16a5579d
  Deyan Ginev authored 6 years ago
  
  16a5579d
Sep 25, 2018
- md typos · d31247e0
  Deyan Ginev authored 6 years ago
  
  d31247e0
- Merge branch 'arxmliv-2018' into 'master' · cf10c1a0
  Deyan Ginev authored 6 years ago
  
  arxmliv 08.2018 release See merge request !2
  cf10c1a0
- arxmliv 08.2018 release · e2eb4cf1
  Deyan Ginev authored 6 years ago
  
  e2eb4cf1
Mar 29, 2018
- Update .gitlab-ci.yml · 8aba14b2
  Tom Wiesing authored 6 years ago
  
  8aba14b2
- added announcement for new data set (quantity expressions) · 09dae383
  jfschaefer authored 6 years ago
  
  09dae383
Mar 28, 2018
- add resource for quantity expressions · c6929f56
  jfschaefer authored 6 years ago
  
  c6929f56
Feb 24, 2018
- typo · 7370e2f6
  Deyan Ginev authored 7 years ago
  
  7370e2f6