Skip to content
SynthStats
SynthStats
ReportBrief
DemonstrationsResearch resultsSupporting resultsHow one program is scored
Dugong growth (length against age)Disease spread (infected count against time, population 50)
Dugong growth programsDisease spread programs

Files

ResourcesSlidesData

Resources

Reports

  • SynthStats ARIA Milestone
  • SynthStats ARIA Milestone (PDF)
  • ARIA Brief
  • ARIA Brief (PDF)
  • Research results
  • Research results (PDF)
  • Research results (self-contained HTML)
  • Demonstrations
  • Demonstrations (self-contained HTML)
  • Supporting results
  • How one program is scored
  • Slides
  • Slides (PDF)
  • Slides (HTML)

Code

  • BoxingGym evaluation
  • Likelihood-hacking code
  • SynthStats schemas
  • PyMC and LazyPPL programs

Data

  • Data and programs
  • SynthStats/synthstats-demonstrations
  • SynthStats/ppl-synthesis-sft-bootstrap (Hugging Face asks you to accept its terms for access)

Papers

  • Likelihood hacking in probabilistic program synthesis
SynthStats team

Disease spread programs

Previous Page

Slides

The eleven slides of the two demonstrations.