A training-free detector for AI-generated and partially edited video detection.

A streaming framework for simplified deployment, monitoring, and optimization of ML systems.

A multimodal benchmark dataset for evaluating AI understanding of canine actions and interactions.

A trace-verification framework for measuring and enforcing procedural compliance in LLM agents.

A stealth Chromium browser to prevent agents from being blocked by bot detection.

An execution-grounded multi-agent framework for reliable research workflow automation.

Cloudflare's cryptography library for elliptic curve and post-quantum cryptography.

A benchmark for multimodal model editing in medical vision-language models.

LLM designed for faster, more efficient reasoning in long-running agents.

Detailed benchmarks of PostgreSQL cost and performance across various AWS EC2 instances.

A dynamic tactile-language framework for interactive reasoning using tactile sensing.

A safety-first conversational agent for healthcare logistics automation leveraging LLM function calling and RAG.

A standalone toolkit for localizing constructive and destructive belief pivots in agent trajectories.

High-quality TTS model suitable for long-form content.

Integrates Nextcloud file sharing and meeting features into email clients.

High-performance column-sorting implementation based on an expired Oracle patent.

A model checker for Rust that allows for formal verification of software.

API-driven file transfer system for AI agents with identity, deduplicated storage, and signed receipts.

An RPG-style game for learning how to write formal mathematical proofs.

An open-source document archiving platform focusing on usability and lightweight deployment.