search

scallop-lang / scallop

Framework and Language for Neurosymbolic Programming.
https://www.scallop-lang.org
MIT License
208 stars 8 forks source link

where is more doc info about "Scallop provides 18 built-in provenances (4 for discrete reasoning, 6 for probabilistic, and 8 for differentiable)" #24

Open zdx3578 opened 1 month ago

zdx3578 commented 1 month ago

thanks your very grate work!

https://www.scallop-lang.org/doc/probabilistic/library.html https://www.scallop-lang.org/doc/scallopy/provenance.html no docs