:: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Kirchweger, Markus, Xia, Hai, Peitl, Tomáš, Szeider, Stefan
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2501.17201
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Breaking Symmetries in Quantified Graph Search: A Comparative Study
by: Janota, Mikoláš, et al.
Published: (2025)

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT
by: Kirchweger, Markus, et al.
Published: (2025)

Small unsatisfiable $k$-CNFs with bounded literal occurrence
by: Zhang, Tianwei, et al.
Published: (2024)

Extracting Problem Structure with LLMs for Optimized SAT Local Search
by: Schidler, André, et al.
Published: (2025)

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
by: Xia, Hai, et al.
Published: (2026)

What Do LLM Agents Do When Left Alone? Evidence of Spontaneous Meta-Cognitive Patterns
by: Szeider, Stefan
Published: (2025)

LLM Self-Explanations Fail Semantic Invariance
by: Szeider, Stefan
Published: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
by: Szeider, Stefan
Published: (2026)

Algorithm Selection with Zero Domain Knowledge via Text Embeddings
by: Szeider, Stefan
Published: (2026)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

CP-Agent: Agentic Constraint Programming
by: Szeider, Stefan
Published: (2025)

MCP-Solver: Integrating Language Models with Constraint Programming Systems
by: Szeider, Stefan
Published: (2024)

Explaining Decisions in ML Models: a Parameterized Complexity Analysis (Part I)
by: Ordyniak, Sebastian, et al.
Published: (2025)

Generating Streamlining Constraints with Large Language Models
by: Voboril, Florentina, et al.
Published: (2024)

Explaining Decisions in ML Models: a Parameterized Complexity Analysis
by: Ordyniak, Sebastian, et al.
Published: (2024)

Compilation and Fast Model Counting beyond CNF
by: de Colnet, Alexis, et al.
Published: (2025)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Solving a Rubik's Cube Using its Local Graph Structure
by: Yao, Shunyu, et al.
Published: (2024)

SmartSearch: Process Reward-Guided Query Refinement for Search Agents
by: Wen, Tongyu, et al.
Published: (2026)

Better Extension Variables in DQBF via Independence
by: Chew, Leroy, et al.
Published: (2025)

CubeGraph: Efficient Retrieval-Augmented Generation for Spatial and Temporal Data
by: Yang, Mingyu, et al.
Published: (2026)

CubeRobot: Grounding Language in Rubik's Cube Manipulation via Vision-Language Model
by: Wang, Feiyang, et al.
Published: (2025)

Scaling Graph Transformers: A Comparative Study of Sparse and Dense Attention
by: Dimitrov, Leon
Published: (2025)

A Comparative Study on Dynamic Graph Embedding based on Mamba and Transformers
by: Pandey, Ashish Parmanand, et al.
Published: (2024)

A Comparative Study on Multi-task Uncertainty Quantification in Semantic Segmentation and Monocular Depth Estimation
by: Landgraf, Steven, et al.
Published: (2024)

Enhancing Q&A with Domain-Specific Fine-Tuning and Iterative Reasoning: A Comparative Study
by: Nguyen, Zooey, et al.
Published: (2024)

Enumerating Two-Orbit Graphs
by: Seka, David, et al.
Published: (2026)

A Comparative Study of Pruning Methods in Transformer-based Time Series Forecasting
by: Kiefer, Nicholas, et al.
Published: (2024)

Fusing Knowledge and Language: A Comparative Study of Knowledge Graph-Based Question Answering with LLMs
by: Chaudhary, Vaibhav, et al.
Published: (2025)

A Proposed Large Language Model-Based Smart Search for Archive System
by: Nguyen, Ha Dung, et al.
Published: (2025)

Fast and Scalable Gene Embedding Search: A Comparative Study of FAISS and ScaNN
by: Refahi, Mohammad Saleh, et al.
Published: (2025)

Explaining the Explainers in Graph Neural Networks: a Comparative Study
by: Longa, Antonio, et al.
Published: (2022)

Smart Traffic Signals: Comparing MARL and Fixed-Time Strategies
by: Mahato, Saahil
Published: (2025)

Fast and Effective Redistricting Optimization via Composite-Move Tabu Search
by: Jin, Hai, et al.
Published: (2026)

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
by: Xia, Shihao, et al.
Published: (2024)

GPU-Accelerated Algorithms for Graph Vector Search: Taxonomy, Empirical Study, and Research Directions
by: Liu, Yaowen, et al.
Published: (2026)

Enhancing Chess Reinforcement Learning with Graph Representation
by: Rigaux, Tomas, et al.
Published: (2024)

Comparative reversal learning reveals rigid adaptation in LLMs under non-stationary uncertainty
by: Wang, Haomiaomiao, et al.
Published: (2026)

Graph Reasoning Networks
by: Zopf, Markus, et al.
Published: (2024)

Solving Rubik's Cube Without Tricky Sampling
by: Lin, Yicheng, et al.
Published: (2024)