Research map / Probabilistic and scientific modeling / Molecules and proteins
New Liftable Classes for First-Order Probabilistic Inference
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| add domain recursion rule to standard lifted inference rules | S4 clause, symmetric-transitivity, birthday paradox theory, S2FO2/S2RU theories · domain-liftability (theoretical) | domain-liftable (polynomial in domain sizes) | Helped |
| add domain recursion rule (ablation) | theory of Example with jobs/volunteers (WFOMC-v3.0 baseline without it) · run-time vs population size n | run-time slope (polynomial degree): slope approximately 4 with domain recursion | Helped |
| add domain recursion rule (ablation) | S4 clause · run-time vs population size n | run-time slope (polynomial degree): slope around 5 with domain recursion, vs exponential/grounded baseline | Helped |
| add domain recursion rule (ablation) | symmetric-transitivity theory · run-time vs population size n | run-time slope (polynomial degree): slope around 2 with domain recursion | Helped |
| add domain recursion rule to non-symmetric transitivity theory | non-symmetric transitivity (category 3 theory) · theoretical time complexity | time complexity | Helped |
| new classes S2FO2 and S2RU defined as alpha ∧ beta, with beta in FO2 or RU respectively | domain-liftable classes · theoretical class inclusion | domain-liftable class coverage | Helped |
Closest papers by meaning
- Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions (AAAI 2022 · similarity 0.90)
- Lifted Inference with Linear Order Axiom (AAAI 2023 · similarity 0.89)
- Fast Relational Probabilistic Inference and Learning: Approximate Counting via Hypergraphs (AAAI 2019 · similarity 0.87)
- Colour Passing Revisited: Lifted Model Construction with Commutative Factors (AAAI 2024 · similarity 0.86)
- From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy (ICLR 2025 · similarity 0.85)
- Boosting Inference with Guided Reasoning: Stochastic Exploration for Recursive Models (NeurIPS 2026 · similarity 0.85)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.