Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for Lean 4 verification. Lean 4 is a proof-assistant and programming environment for machine-checkable proofs, and proof engineering ...
Stack is a large-scale encoder-decoder foundation model trained on 150 million uniformly-preprocessed single cells. It introduces a novel tabular attention architecture that enables both intra- and ...
XOM™ is a new XML object model. It is an open source (LGPL), tree-based API for processing XML with Java that strives for correctness, simplicity, and performance, in that order. It includes built-in ...
Local AI inference at 32B-parameter quality, no cloud API required: University of Waterloo researchers released PAW on July 2 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results