A Rust-like React framework that compiles to WebAssembly.

A tool for replaying coding-agent sessions on a 3D map of a codebase.

Deterministic semantic checks for AI-generated SQL to ensure accuracy and validity.

Open-source portable games console based on RISC-V.

A new JavaScript runtime and ecosystem.

A CPU inference server that gets faster as it runs.

A framework for suppressing knowledge-critical FFNs to improve faithfulness in Retrieval-Augmented Generation.

A framework and dataset for studying and improving reasoning-oriented video generation.

Repository-level code generation system using procedural similarity retrieval.

A hierarchical structure-aware document analysis system preserving original layouts.

Solve algebra by touch, built on an open-source soundness engine

Translates C++ to safe Rust automatically

Go-style coroutines for Python free-threaded mode

Vision-Language-Action architecture for robotic agents using latent environment evolution.

Deep learning framework for learning the moment generating function of Reflected Brownian Motion.

A large-scale, value-focused preference dataset for pluralistic LLM alignment.

Python package for interpretable supervised learning on graph-structured input data.

A Lean mathematical library for tensor-network and quantum-information theory.

A structure-aware web RAG framework built on heterogeneous graphs.

Physics-Aware Retrieval-Augmented framework for PV power prediction