:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nieuwenhuis, Robert, Oliveras, Albert, Rodriguez-Carbonell, Enric
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence I.2.8; F.4.1
Online Access:	https://arxiv.org/abs/2402.15522
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Theorem Provers Help Improve Large Language Model Reasoning
by: McGinness, Lachlan, et al.
Published: (2024)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
by: Kesseli, Pascal, et al.
Published: (2025)

Learning How to Cube
by: Erata, Ferhat, et al.
Published: (2026)

Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)

Meta-Reinforcement Learning with Discrete World Models for Adaptive Load Balancing
by: Redovian, Cameron
Published: (2025)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

Controlled Territory and Conflict Tracking (CONTACT): (Geo-)Mapping Occupied Territory from Open Source Intelligence
by: Mandal, Paul K., et al.
Published: (2025)

Robust Verification of Concurrent Stochastic Games
by: He, Angel Y., et al.
Published: (2026)

Anticipating Oblivious Opponents in Stochastic Games
by: Kalat, Shadi Tasdighi, et al.
Published: (2024)

On the Completeness of Conflict-Based Search: Temporally-Relative Duplicate Pruning
by: Walker, Thayne T, et al.
Published: (2024)

Domain-Independent Dynamic Programming
by: Kuroiwa, Ryo, et al.
Published: (2024)

Automated Strategy Invention for Confluence of Term Rewrite Systems
by: Zhang, Liao, et al.
Published: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
by: Kondylidou, Lydia, et al.
Published: (2026)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
by: Zhang, Xindi, et al.
Published: (2025)

Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)

Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)

Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)

Learning Natural Language Constraints for Safe Reinforcement Learning of Language Agents
by: Chua, Jaymari, et al.
Published: (2025)

Toward Constraint Compliant Goal Formulation and Planning
by: Jones, Steven J., et al.
Published: (2024)

An In-depth Study of LLM Contributions to the Bin Packing Problem
by: Herrmann, Julien, et al.
Published: (2025)

Toward Cyclic A.I. Modelling of Self-Regulated Learning: A Case Study with E-Learning Trace Data
by: Schwabe, Andrew, et al.
Published: (2025)

CVPL: A Geometric Framework for Post-Hoc Linkage Risk Assessment in Protected Tabular Data
by: Khvatov, Valery, et al.
Published: (2026)

Good-for-MDP State Reduction for Stochastic LTL Planning
by: Weinhuber, Christoph, et al.
Published: (2025)

From Next Token Prediction to (STRIPS) World Models
by: Núñez-Molina, Carlos, et al.
Published: (2025)

XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
by: Alpay, Faruk, et al.
Published: (2025)

Provably Correct Systems: Community, connections, and citations
by: Bowen, Jonathan P.
Published: (2015)

When Words Change the Model: Sensitivity of LLMs for Constraint Programming Modelling
by: Pellegrino, Alessio, et al.
Published: (2025)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

Learning Interpretable Scheduling Algorithms for Data Processing Clusters
by: Hu, Zhibo, et al.
Published: (2024)

Auditing Preferences for Brands and Cultures in LLMs
by: Rienecker, Jasmine, et al.
Published: (2026)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
by: Chang, Edward Y., et al.
Published: (2025)

Safe Reinforcement Learning with Preference-based Constraint Inference
by: Li, Chenglin, et al.
Published: (2026)

COVID-19 on YouTube: A Data-Driven Analysis of Sentiment, Toxicity, and Content Recommendations
by: Su, Vanessa, et al.
Published: (2024)

On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
by: Pedroza, Gabriel
Published: (2024)

The Myhill-Nerode Theorem for Bounded Interaction: Canonical Abstractions via Agent-Bounded Indistinguishability
by: Nixon, Anthony T.
Published: (2026)

Computational methods for Dynamic Answer Set Programming
by: Hahn, Susana
Published: (2025)

Evaluating Large Language Models for Workload Mapping and Scheduling in Heterogeneous HPC Systems
by: Sharma, Aasish Kumar, et al.
Published: (2025)

A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making
by: Núñez-Molina, Carlos, et al.
Published: (2023)

Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)