arXiv (All)
open access
GPU-Accelerated Belief Propagation for Program Analysis
Belief Propagation (BP) is a widely used approximate inference algorithm in probabilistic graphical models (PGMs), but is computationally expensive when applied to large-scale program analysis. Existing GPU-based approaches are unable to support flexible update strategies and have yet to integrate l
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Codifying the Judge: Scalable Evaluation via Program Distillation#1117526
- EvoMaestro: Toward Interpretable and Steerable LLM-Driven Program Evolution#1198995
- How Much of a Real Workload Can LLM-Generated GPU Kernels Actually Reach?#1035028
- How Much of a Real Workload Can LLM-Generated GPU Kernels Actually Reach?#1006828
- Proving LLM-Generated GPU Kernels Correct and Safe: Floating-Point Verification in Lean and VerCors#1389494
Record · ID 1456095
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive