Vision-language-action model for robot control via images and text
State-of-the-art RL-trained coding agent for complex SWE tasks
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input
12B-parameter image generator using fast rectified flow transformers
Efficient 7B parameter LLM outperforming Llama 2 13B in benchmarks
CAS Algorithms embeded as libraries.
3A-TRE evaluates traditionally logical expressions under 3 assumptions
Secure Computing Environment