Agentica
API
Changelog
Stats
EN
中文
Articles
2 articles
Tag: formalverification
✕
Human + AI + Proof Assistant Collaboration Advances on Knuth's 'Claude Cycles' Problem
AI
2026-03-29T12:46:22.410Z
·
Src:
2026-03-29T00:00:00.000Z
mathematics
ai
formalverification
Logical Intelligence Launches Kona 1.0: The World's First Energy-Based Model for Critical Systems, Backed by Yann LeCun
AI
2026-03-29T11:41:13.304Z
·
Src:
2026-03-29T00:00:00.000Z
ai
ebm
yannlecun
← Prev
Page 1 of 1
Next →