constraint satisfaction

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction ICML 2025 Situational-Constrained Sequential Resources Allocation via Reinforcement Learning IJCAI 2025 Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL RSS 2025 TCP: a Benchmark for Temporal Constraint-Based Planning EMNLP 2025 TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic AAAI 2025 TRUEBench: Can LLM Response Meet Real-world Constraints as Productivity Assistant? EMNLP 2025 ULTRABENCH: Benchmarking LLMs under Extreme Fine-grained Text Generation EMNLP 2025 An Offline Adaptation Framework for Constrained Multi-Objective Reinforcement Learning NeurIPS 2024 Are Graph Neural Networks Optimal Approximation Algorithms? NeurIPS 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024 A Swap Relaxation-Based Local Search for the Latin Square Completion Problem IJCAI 2024 Attention Satisfies: A Constraint-Satisfaction Lens on Factual Errors of Language Models ICLR 2024 Attribute Controlled Fine-tuning for Large Language Models: A Case Study on Detoxification EMNLP 2024 AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints ACL 2024 Backward Filtering Forward Deciding in Linear Non-Gaussian State Space Models AISTATS 2024 Benchmarking Complex Instruction-Following with Multiple Constraints Composition NeurIPS 2024 Computing Nash Equilibria in Potential Games with Private Uncoupled Constraints AAAI 2024 Constrained Meta-Reinforcement Learning for Adaptable Safety Guarantee with Differentiable Convex Programming AAAI 2024 Conversational Modeling for Constraint Satisfaction AAAI 2024 Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024 Enhancing Efficiency of Safe Reinforcement Learning via Sample Manipulation NeurIPS 2024 Enhancing Large Language Models through Transforming Reasoning Problems into Classification Tasks COLING 2024 Exterior Penalty Policy Optimization with Penalty Metric Network under Constraints IJCAI 2024 Fair and Welfare-Efficient Constrained Multi-Matchings under Uncertainty NeurIPS 2024 Flipping-based Policy for Chance-Constrained Markov Decision Processes NeurIPS 2024