Toward Certification for Free: Correct-by-Construction ML Oracles with Polymorphic LCF Style

Related stories

• In the beginning, it was good –part 1
  Hacker News · 1 points · 8 days ago
• Show HN: Maverank, a free AI-readiness check for your websitemaverank.com
  Hacker News · 2 points · about 14 hours ago
• Show HN: OOMU is a free macOS native desktop AI harness (local and cloud)oomu.ai
  Hacker News · 1 points · 5 days ago
• Show HN: I built a seriously detailed free financial plannerapp.finzot.com
  Hacker News · 3 points · 6 days ago
• A Certification That Changes Every Run Is a Coin Flip With a Signaturedev.to
  DEV Community · 7 points · 3 days ago
• Show HN: All/Some – A free logic puzzle game about set relationshipsallsome.app
  Hacker News · 1 points · 4 days ago

Related topics