Declarative Statistics

2017-08-06 · Roberto Rossi, Özgür Akgün, Steven Prestwich, S. Armagan Tarim

In this work we introduce declarative statistics, a suite of declarative modelling tools for statistical analysis. Statistical constraints represent the key building block of declarative statistics. First, we introduce a range of relevant counting and matrix constraints and associated decompositions, some of which novel, that are instrumental in the design of statistical constraints. Second, we introduce a selection of novel statistical constraints and associated decompositions, which constitute a self-contained toolbox that can be used to tackle a wide range of problems typically encountered by statisticians. Finally, we deploy these statistical constraints to a wide range of application areas drawn from classical statistics and we contrast our framework against established practices.

📄 PDF Abstract BibTeX arXiv:1708.01829

Code (1)

gwr3n/syat-choco 공식 구현

Tell, don't show: Declarative facts influence how LLMs generalize

2023-12-12 · Alexander Meinke, Owain Evans

We examine how large language models (LLMs) generalize from abstract declarative statements in their training data. As an illustration, consider an LLM that is prompted to generate weather reports for London in 2050. One…

Fairness

Statistical Constraints

2014-02-20 · Roberto Rossi, Steven Prestwich, S. Armagan Tarim

We introduce statistical constraints, a declarative modelling tool that links statistics and constraint programming. We discuss two statistical constraints and some associated filtering algorithms. Finally, we illustrate…

Scheduling

Declarative Design of Neural Predicates in Neuro-Symbolic Systems

2024-05-15 · Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra, Sebastijan Dumancic

Neuro-symbolic systems (NeSy), which claim to combine the best of both learning and reasoning capabilities of artificial intelligence, are missing a core property of reasoning systems: Declarativeness. The lack of declar…

Declarative Data Analytics: a Survey

2019-02-04 · Nantia Makrynioti, Vasilis Vassalos

The area of declarative data analytics explores the application of the declarative paradigm on data science and machine learning. It proposes declarative languages for expressing data analysis tasks and develops systems …

BIG-bench Machine Learning Survey

Deep Declarative Networks: A New Hope

2019-09-11 · Stephen Gould, Richard Hartley, Dylan Campbell

We explore a new class of end-to-end learnable models wherein data processing nodes (or network layers) are defined in terms of desired behavior rather than an explicit forward function. Specifically, the forward functio…

Point Cloud Classification