Logical Intelligence
@logic_int
Piloting The World's First Energy-Based Model For Critical Systems.
6 Following 4.9K Followers
Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks including PutnamBench, VeriSoftBench, and Verina
Loading...
Most Popular Users
