A platform to preserve climate data and resources independently of government agencies.

A programming language for AI-written, human-reviewed code

A privacy-first, open-source knowledge base that uses a graph-based approach to organize information.

A benchmark for measuring world-model alignment and communication in collaborative household robotics.

A formal calculus and verified interpreter in Lean for secure LLM agent information flow control.

A PPO-based framework for preference-conditioned multi-objective reinforcement learning.

A system for long-horizon robotic manipulation combining task decomposition, data generation, and RL.

Adaptive inference-time framework to promote cognitive behaviors in reasoning LLMs via SAE latent state optimization.

A Lean 4 library for formalizing finite-dimensional Quantum Information Theory.

A platform for deductive program verification.

A latent diffusion model-based text-to-speech model with efficient training and sampling.

A quantum convolutional neural network architecture with efficient classical simulability.

A multi-scale compact VLA family enabling direct VLM-to-VLA adaptation.

Controllable molecular generation via noise-space alignment in flow matching.

An open-source agent-building library for solving complex mathematical problems using author-critic architecture.

A pre-trained Time-Series Foundation Model for forecasting and anomaly detection.

A system for interval certifications and adversarial robustness in MLPs

Open-source network visibility and threat detection tool for home/small business networks.

A self-hosted digital signage solution for Raspberry Pi and other ARM boards.

An Apache-2.0 open-weights text-to-video model.