:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cheng, Du, Kadioglu, Serdar, Wang, Xin
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2605.12139
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Gala: Global LLM Agents for Text-to-Model Translation
by: Cai, Junyang, et al.
Published: (2025)

Fairness Evaluation for Uplift Modeling in the Absence of Ground Truth
by: Kadioglu, Serdar, et al.
Published: (2024)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)

Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc
by: Singirikonda, Akash, et al.
Published: (2025)

BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation
by: Li, Yingjie, et al.
Published: (2024)

BoolSkeleton: Boolean Network Skeletonization via Homogeneous Pattern Reduction
by: Ni, Liwei, et al.
Published: (2025)

Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problem
by: Cai, Junyang, et al.
Published: (2024)

Text2Model: Modeling Copilots for Text-to-Model Translation
by: Kadioglu, Serdar, et al.
Published: (2026)

ParBalans: Parallel Multi-Armed Bandits-based Adaptive Large Neighborhood Search
by: Yilmaz, Alican, et al.
Published: (2025)

Open‐source AI at scale: Establishing an enterprise AI strategy through modular frameworks
by: Serdar Kadıoğlu
Published: (2025)

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
by: Kouteili, Sam Nicholas, et al.
Published: (2026)

Explainable LLM Unlearning Through Reasoning
by: Liao, Junfeng, et al.
Published: (2026)

Engineering an Exact Pseudo-Boolean Model Counter
by: Yang, Suwei, et al.
Published: (2023)

XMorph: Explainable Brain Tumor Analysis Via LLM-Assisted Hybrid Deep Intelligence
by: Ghahfarokhi, Sepehr Salem, et al.
Published: (2026)

FORGE: Foundational Optimization Representations from Graph Embeddings
by: Shafi, Zohair, et al.
Published: (2025)

The Design and Organization of Educational Competitions with Anonymous and Real-Time Leaderboards in Academic and Industrial Settings
by: Kadıoğlu, Serdar, et al.
Published: (2024)

Learning Compact Boolean Networks
by: Wang, Shengpu, et al.
Published: (2026)

Boolean Product Graph Neural Networks
by: Wang, Ziyan, et al.
Published: (2024)

LLM Driven Processes to Foster Explainable AI
by: Pehlke, Marcel, et al.
Published: (2025)

Practical Boolean Backpropagation
by: Golbert, Simon
Published: (2025)

SERNet-Former: Semantic Segmentation by Efficient Residual Network with Attention-Boosting Gates and Attention-Fusion Networks
by: Erisen, Serdar
Published: (2024)

Increasing AI Explainability by LLM Driven Standard Processes
by: Jansen, Marc, et al.
Published: (2025)

llmSHAP: A Principled Approach to LLM Explainability
by: Naudot, Filip, et al.
Published: (2025)

LC-LLM: Explainable Lane-Change Intention and Trajectory Predictions with Large Language Models
by: Peng, Mingxing, et al.
Published: (2024)

X-GridAgent: An LLM-Powered Agentic AI System for Assisting Power Grid Analysis
by: Yihan, et al.
Published: (2025)

Minimization of Boolean Complexity in In-Context Concept Learning
by: Wang, Leroy Z., et al.
Published: (2024)

Learning with Boolean threshold functions
by: Elser, Veit, et al.
Published: (2026)

Boolean proportions
by: Antić, Christian
Published: (2021)

MLlm-DR: Towards Explainable Depression Recognition with MultiModal Large Language Models
by: Zhang, Wei, et al.
Published: (2025)

Towards Projected and Incremental Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2024)

GLIDER: Grading LLM Interactions and Decisions using Explainable Ranking
by: Deshpande, Darshan, et al.
Published: (2024)

Explainable CTR Prediction via LLM Reasoning
by: Yu, Xiaohan, et al.
Published: (2024)

Boolean Observation Games
by: van Ditmarsch, Hans, et al.
Published: (2022)

LLM-Assisted Modeling of Semantic Web-Enabled Multi-Agents Systems with AJAN
by: Hechehouche, Hacane, et al.
Published: (2025)

BoolForge: Controlled Generation and Analysis of Boolean Functions and Networks
by: Kadelka, Claus, et al.
Published: (2025)

Abstract Dialectical Frameworks are Boolean Networks (full version)
by: Heyninck, Jesse, et al.
Published: (2024)

Pseudo-Boolean Proof Logging for Optimal Classical Planning
by: Dold, Simon, et al.
Published: (2025)

LLM-Empowered Cooperative Content Caching in Vehicular Fog Caching-Assisted Platoon Networks
by: Tan, Bowen, et al.
Published: (2026)

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
by: Hong, Shengxin, et al.
Published: (2024)

On the Expressive Power of GNNs for Boolean Satisfiability
by: Peltonen, Saku, et al.
Published: (2026)