Researchers at Emory University and Sandia National Laboratories have released a curated dataset of 77,890 OpenMP-annotated C ...
SMT: Satisfiability Modulo Theories, the problem of determining the satisfiability of constraints with background theoriesI ...
Wondering if you're a great fit for the BUILD program? To help determine if the BUILD program is a good fit for you, please review the BUILD program student criteria requirements before completing an ...
Liquid AI released d1-ultra, a text and image decision model that returns calibrated probabilities in 1 forward pass. It ...
Reflection AI has introduced Beam, its first open-weight model. It is a 501B sparse Mixture-of-Experts model with 23B active ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results