upd readme

README.md

@@ -45,6 +45,7 @@ information theory, and linear error-correcting codes.
   - A Coq tactic for proving bounds
 - Coq namespace: `infotheo`
 - Related publication(s):
+  - [Robust Mean Estimation by All Means (short paper)]() 
   - [Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation](https://dl.acm.org/doi/abs/10.1145/3479394.3479412) doi:[10.1145/3479394.3479412](https://doi.org/10.1145/3479394.3479412)
   - [Formal Adventures in Convex and Conical Spaces](https://arxiv.org/abs/2004.12713) doi:[10.1007/978-3-030-53518-6_2](https://doi.org/10.1007/978-3-030-53518-6_2)
   - [A Library for Formalization of Linear Error-Correcting Codes](https://link.springer.com/article/10.1007/s10817-019-09538-8) doi:[10.1007/s10817-019-09538-8](https://doi.org/10.1007/s10817-019-09538-8)
@@ -101,7 +102,7 @@ Research (Project Number: 25289118), a JSPS Grand-in-Aid for Scientific Research
 
 Each file is documented in its header.
 
-Changes are documented in [changelog.txt](changelog.txt).
+Changes are (lightly) documented in [changelog.txt](changelog.txt).
 
 ## Installation with Windows 10 & 11
 

meta.yml

@@ -108,6 +108,7 @@ keywords:
 - name: convexity
 
 publications:
+- pub_title: "Robust Mean Estimation by All Means (short paper)"
 - pub_url: https://dl.acm.org/doi/abs/10.1145/3479394.3479412
   pub_title: "Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation"
   pub_doi: 10.1145/3479394.3479412
@@ -186,7 +187,7 @@ documentation: |-
 
   Each file is documented in its header.
 
-  Changes are documented in [changelog.txt](changelog.txt).
+  Changes are (lightly) documented in [changelog.txt](changelog.txt).
   
   ## Installation with Windows 10 & 11