Agentic RTL verification framework with specification-grounded coverage closure.

A-workflow automation tool that allows you to connect different apps and services.

Rapidly deploy isolated Supabase instances for coding agents.

A differential-privacy gateway for untrusted AI agents.

A formal verification system and interactive theorem prover

A vision-centric MLLM for holistic medical understanding and report generation.

Hardware-software co-design of a mode-division photonic transformer accelerator.

Knowledge-guided fuzzer for quantum libraries leveraging LLMs and fitness-guided evaluation.

A benchmark for evaluating multimodal context learning in AI models.

An explorable 3D model showing how Postgres works

A scalable approach for organ-specific CT representation learning using a shared encoder.

Dataset and code for evaluating communicative belief updates and implicature recognition in LLMs.

Local transcription and dictation for Apple Silicon using Qwen models.

A physical and mathematical model of cognitive cost optimization and consciousness.

An interactive game for learning Vim through levels.

Sparse Cross-Modal Routing for Efficient Knowledge-Intensive Multimodal Question Answering.

A free and open source Python package for processing and analyzing human neurophysiological data.

On-device agentic framework for procedural task guidance with human-in-the-loop.

A consistent, global permission system for providing fine-grained access control.

Training-free cached exploration for test-time search in video diffusion models.