Probabilistic Programming Methods
Focusing on probabilistic programming and formal methods, this cluster emphasizes the development and application of programming languages designed for uncertain information modeling. It includes theorem proving and communication protocols.
29,690 papers
Parent topic: Algorithms and Logical Systems
AI-assisted content · The overview, paper groupings, and influence analysis on this page are AI-generated. They are intended as a starting point for exploring the field and may contain inaccuracies. Report an error
Papers Over Time
Top Papers
2017 · 4,623 citations
1971 · 2,293 citations
1980 · 2,250 citations
2002 · 1,405 citations
1975 · 1,329 citations
1968 · 1,178 citations
1980 · 1,161 citations
1991 · 1,078 citations
1991 · 1,057 citations
1983 · 1,045 citations
1992 · 998 citations
1985 · 994 citations
1976 · 976 citations
1992 · 952 citations
2000 · 896 citations
2004 · 885 citations
2005 · 874 citations
1991 · 838 citations
1972 · 794 citations
1984 · 792 citations