[skip ci] Auto-generated kwarc.bib for commit 8559d98

KWARC · Jul 26, 2024 · e0cd131 · e0cd131
1 parent 8559d98
commit e0cd131
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/kwarc.bib b/kwarc.bib
@@ -46215,6 +46215,7 @@ @inproceedings{PanzerSchaefer:AnnoTize23
   author = {Lukas Panzer and Jan Frederik Schaefer},
   note = {accepted},
   crossref={MathUI23},
+  url = {https://kwarc.info/people/jfschaefer/pubs/2023-annotize-mathui.pdf},
   year = {2023},
   pubs = {jfschaefer}
   }
@@ -46320,6 +46321,8 @@ @inproceedings{SchKoh:sb23
   author = {Jan Frederik Schaefer and Michael Kohlhase},
   title = {Towards an Annotation Standard for {STEM} Documents -- Datasets, Benchmarks, and Spotters},
   crossref = {CICM23},
+  pages = {190--205},
+  url = {https://kwarc.info/people/jfschaefer/pubs/2023-spotterbase-cicm.pdf},
   pubs = {jfschaefer,mkohlhase}
   }