Research map / Learning theory and algorithms / Combinatorial and search optimization
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions
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 |
|---|---|---|---|
| Use domain-lifted first-order sampling rather than propositional sampling | Friends-smokers MLN · Friends-smokers MLN | maximum domain size tested: 30 to 100 | Helped |
| Add a single tree constraint to UFO2 | UFO2 sampling · UFO2 with a single tree constraint | domain-liftability | Helped |
| Add cardinality constraints and a single tree constraint to UFO2 | UFO2 sampling · UFO2 with a single tree constraint and multiple cardinality constraints | domain-liftability | Helped |
Closest papers by meaning
- Sample Smart, Not Hard: Correctness-First Decoding for Better Reasoning in LLMs (ICLR 2026 · similarity 0.84)
- Model Counting and Sampling via Semiring Extensions (AAAI 2024 · similarity 0.84)
- A Compositional Atlas for Algebraic Circuits (NeurIPS 2024 · similarity 0.84)
- Reasoning with Sampling: Your Base Model is Smarter Than You Think (ICLR 2026 · similarity 0.84)
- Continuous Chain of Thought Enables Parallel Exploration and Reasoning (ICLR 2026 · similarity 0.84)
- Using Symmetries to Lift Satisfiability Checking (AAAI 2024 · similarity 0.84)
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.