1nm News
yc

Axiomat – Agents that cannot hallucinate

Axiomat · 4 points · 0 comments

Formally verified data queries

新项目,适合观察早期产品方向。

查看原文 →

相关推荐

SE3 Labs - Real-World RL Environments for Robot Models
yc · 22:17 11-09

Volaren – Your Personal Investing Agent
yc · 21:30 11-09

Nodus Compute | Get more AI from the GPUs that already exist
yc · 20:30 11-09

Redoubt: Commercial insurance for small businesses, placed by software, serviced by a person
yc · 19:00 11-09

Boxes.dev - Move your AI coding to the cloud
yc · 18:00 11-09

ArchGen Labs | Building skyscrapers for semiconductor chips
yc · 17:00 11-09