Replication Package for Sound Probabilistic Inference via Guide Types

A replication package for the research article 'Sound Probabilistic Inference via Guide Types'. The package was created by Di Wang of Carnegie Mellon University and is hosted on Papers with Code. Its specific contents and scale are not detailed in the available metadata.

Use Cases

• Reproducing experiments from the associated research paper (inferred from domain, verify after download)
• Benchmarking new probabilistic inference methods (inferred from domain, verify after download)
• Studying the implementation of guide types for program analysis (inferred from domain, verify after download)

Strengths

• Published on the Papers with Code platform, which is associated with machine learning research.
• Associated with a specific research article and author from Carnegie Mellon University.

Limitations

• Metadata is minimal; actual content requires verification after download.
• Row count, file formats, and column definitions are unknown, which may limit suitability assessment.
• The license is listed as 'closed', which may restrict usage.

Provenance

Source

Di Wang, Carnegie Mellon University