auto: 2026-08-31T17:47:28Z [skip ci]

2026-08-31 19:47:28 +02:00 · 2026-08-31 19:47:28 +02:00 · e740b23022
parent 0cdb691557
commit e740b23022
2 changed files with 4 additions and 2 deletions
--- a/content/essays/verified-inference/index.md
+++ b/content/essays/verified-inference/index.md
@ -9,10 +9,10 @@ abstract: >
  details what the system certifies, what it does not, and what I contributed to
  it during the MARS V fellowship.
 tags:
-  - ai
-  - tech
  - research
  - research/machine-learning
+  - ai
+  - tech
 status: "Working model"
 confidence: 85
 importance: 5
--- a/content/tag-meta/research.md
+++ b/content/tag-meta/research.md
@ -1,3 +1,5 @@
 ---
 tooltip: "formal and less formal inquiry"
+featured:
+  - content/essays/verified-inference/index.md
 ---