A management tool for Docker containers and stacks with integrated backup and restore capabilities.

Compiling Rust to WASM from inside WASM.

A policy gradient algorithm for reasoning with diffusion language models.

A token-efficient agentic retrieval-augmented generation framework.

Adaptive Rubric Co-evolution framework for multi-step LLM agents.

Multi-agent framework for generating realistic, dynamic, and controllable 4D physical worlds via physics engines.

Modular and generic DNN training and inference framework for embedded systems.

A genomic language model used for analyzing DNA sequences and predicting mutation severity.

Weights and model cards for the MKB scientific multimodal foundation model.

A cost-efficient AI model for coding and enterprise workflows

A detailed historical archive and encyclopedia of programming languages.

Fine-tuning pipeline and datasets for text-to-MiniZinc translation in small language models.

A novel approach to combining low-rank decomposition and quantization for efficient LLM compression.

An open-source framework for evaluating AI agents on longitudinal population study data preparation.

An open-source MCP server providing deterministic logical reasoning via SWI-Prolog

Implementation of a learning-guided symbolic strategy for efficient SAT encodings of single-constant multiplication.

A benchmark generator for evaluating context management in tool-assisted language agents.

A spectral-aware sampler for accelerating time-series diffusion models.

An agent that autonomously generates mathematical proofs using a three-stage prompting pipeline.

Unified tile-aware Triton kernels for LLM sampling and speculative verification.