Illia (root.near) (🇺🇦, ⋈)
@ilblackdragon
Co-Founder @NEARProtocol. LLM co-inventor. @ekang426 husband.
加入 October 2009
463 正在關注 121.9K 粉絲
Formal verification with private open weight models - cheap and avoids gets your code to be uploaded to Anthropic.
Results are comparable using @near_ai harness at fraction of the cost.
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here:
顯示更多
