-
On Discovering Interesting Combinatorial Integer Sequences
Authors:
Martin Svatoš,
Peter Jung,
Jan Tóth,
Yuyi Wang,
Ondřej Kuželka
Abstract:
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g., undirected graphs, permutations, matchings etc. In the second step, we use algorithms for lifted first-order model counting to generate integer seque…
▽ More
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g., undirected graphs, permutations, matchings etc. In the second step, we use algorithms for lifted first-order model counting to generate integer sequences that count the objects encoded by the first-order logic formulas generated in the first step. For instance, if the first-order sentence defines permutations then the generated integer sequence is the sequence of factorial numbers $n!$. We demonstrate that our approach is able to generate interesting new sequences by showing that a non-negligible fraction of the automatically generated sequences can actually be found in the Online Encyclopaedia of Integer Sequences (OEIS) while generating many other similar sequences which are not present in OEIS and which are potentially interesting. A key technical contribution of our work is the method for generation of first-order logic sentences which is able to drastically prune the space of sentences by discarding large fraction of sentences which would lead to redundant integer sequences.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Stacked Structure Learning for Lifted Relational Neural Networks
Authors:
Gustav Sourek,
Martin Svatos,
Filip Zelezny,
Steven Schockaert,
Ondrej Kuzelka
Abstract:
Lifted Relational Neural Networks (LRNNs) describe relational domains using weighted first-order rules which act as templates for constructing feed-forward neural networks. While previous work has shown that using LRNNs can lead to state-of-the-art results in various ILP tasks, these results depended on hand-crafted rules. In this paper, we extend the framework of LRNNs with structure learning, th…
▽ More
Lifted Relational Neural Networks (LRNNs) describe relational domains using weighted first-order rules which act as templates for constructing feed-forward neural networks. While previous work has shown that using LRNNs can lead to state-of-the-art results in various ILP tasks, these results depended on hand-crafted rules. In this paper, we extend the framework of LRNNs with structure learning, thus enabling a fully automated learning process. Similarly to many ILP methods, our structure learning algorithm proceeds in an iterative fashion by top-down searching through the hypothesis space of all possible Horn clauses, considering the predicates that occur in the training examples as well as invented soft concepts entailed by the best weighted rules found so far. In the experiments, we demonstrate the ability to automatically induce useful hierarchical soft concepts leading to deep LRNNs with a competitive predictive power.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Measurement of the photon and jet production with the ATLAS detector
Authors:
Michal Svatos
Abstract:
Production of prompt isolated photons at hadron colliders provides a probe of perturbative QCD and can be used to study the gluon density function of the proton. The ATLAS collaboration has performed precise measurements of the inclusive production of isolated prompt photons in 20.2 fb${}^{-1}$ of data collected at $\sqrt{s}=8$ TeV and in 6.4 pb${}^{-1}$ of data collected at $\sqrt{s}=13$ TeV. The…
▽ More
Production of prompt isolated photons at hadron colliders provides a probe of perturbative QCD and can be used to study the gluon density function of the proton. The ATLAS collaboration has performed precise measurements of the inclusive production of isolated prompt photons in 20.2 fb${}^{-1}$ of data collected at $\sqrt{s}=8$ TeV and in 6.4 pb${}^{-1}$ of data collected at $\sqrt{s}=13$ TeV. The measurements are compared with state-of-the-art theory predictions at NLO in QCD and with predictions of several MC generators. Production of inclusive jets at hadron colliders also provides a probe of perturbative QCD. The inclusive jet production cross-section was measured in 78 pb${}^{-1}$ of data collected at $\sqrt{s}=13$ TeV. Results have been compared with (state-of-the-art) theory predictions at NLO in QCD, interfaced with different parton distribution functions.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.