Update papers.bib

Author: jackbergus

_bibliography/papers.bib

@@ -24,13 +24,20 @@ @article{logics2020005
 	bibtex_show = {true}}
 
 @article{202504.0090,
-	arxiv = {https://doi.org/10.20944/preprints202504.0090.v1},
-	year = 2025,
-	month = {April},
-	publisher = {Preprints},
-	author = {Oliver Robert Fox and Giacomo Bergami and Graham Morgan},
-	title = {Verified Language Processing with Hybrid Explainability},
-	journal = {Preprints}
+  author       = {Oliver Robert Fox and
+                  Giacomo Bergami and
+                  Graham Morgan},
+  title        = {Verified Language Processing with Hybrid Explainability: {A} Technical
+                  Report},
+  journal      = {CoRR},
+  volume       = {abs/2507.05017},
+  year         = {2025},
+  arxiv          = {https://doi.org/10.48550/arXiv.2507.05017},
+  eprinttype    = {arXiv},
+  eprint       = {2507.05017},
+  timestamp    = {Tue, 12 Aug 2025 21:29:27 +0200},
+  biburl       = {https://dblp.org/rec/journals/corr/abs-2507-05017.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
 }