Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Many inference problems are naturally formulated using hard and soft constraints over relational domains: the desired solution must satisfy the hard constraints, while optimizing the objectives expressed by the soft constraints. Existing techniques for solving such constraints rely on efficiently grounding a sufficient subset of constraints that is tractable to solve.  present an eager-lazy grounding algorithm that eagerly exploits proofs and lazily refutes counterexamples.  show that our algorithm achieves significant speedup over existing approaches without sacrificing soundness for real-world applications from information retrieval and program analysis.
['Ravi Mangal', 'Xin Zhang', 'Aditya Kamath', 'Aditya V. Nori', 'Mayur Naik']
I am writing a research paper on a idea Scaling relational inference using proofs and refutations
[{"from": "human", "value": "I am writing a research paper on a idea Scaling relational inference using proofs and refutations"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Many inference problems are naturally formulated using hard and soft constraints over relational domains: the desired solution must satisfy the hard constraints, while optimizing the objectives expressed by the soft constraints. Existing techniques for solving such constraints rely on efficiently grounding a sufficient subset of constraints that is tractable to solve.  present an eager-lazy grounding algorithm that eagerly exploits proofs and lazily refutes counterexamples.  show that our algorithm achieves significant speedup over existing approaches without sacrificing soundness for real-world applications from information retrieval and program analysis."}]