:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hu, Hao, Cai, Shaowei
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2408.12304
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
by: Chen, Zhihan, et al.
Published: (2024)

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
by: Ye, Furong, et al.
Published: (2024)

Local Search for Integer Quadratic Programming
by: He, Xiang, et al.
Published: (2024)

Large Language Models are Near-Optimal Decision-Makers with a Non-Human Learning Behavior
by: Li, Hao, et al.
Published: (2025)

Optimal Decision Tree Policies for Markov Decision Processes
by: Vos, Daniël, et al.
Published: (2023)

Approximation-Free Differentiable Oblique Decision Trees
by: Panda, Subrat Prasad, et al.
Published: (2026)

Decision Potential Surface: A Theoretical and Practical Approximation of Large Language Model Decision Boundary
by: Liang, Zi, et al.
Published: (2025)

Strategist: Self-improvement of LLM Decision Making via Bi-Level Tree Search
by: Light, Jonathan, et al.
Published: (2024)

MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization
by: Faez, Faezeh, et al.
Published: (2024)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
by: Sun, Yiwen, et al.
Published: (2024)

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
by: Demirović, Emir, et al.
Published: (2024)

Systematic Parameter Decision in Approximate Model Counting
by: Lei, Jinping, et al.
Published: (2025)

Assessing Climate Transition Risks in the Colombian Processed Food Sector: A Fuzzy Logic and Multicriteria Decision-Making Approach
by: Pérez-Pérez, Juan F., et al.
Published: (2024)

AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
by: Li, Jinyuan, et al.
Published: (2025)

Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
by: Kalagarla, Krishna C., et al.
Published: (2023)

MedGuideX: Internalizing Decision Logic from Executable Guidelines into Large Language Models for Clinical Reasoning
by: Shen, Yuhao, et al.
Published: (2026)

A Generic Complete Anytime Beam Search for Optimal Decision Tree
by: Kiossou, Harold Silvère, et al.
Published: (2025)

Anytime Optimal Decision Tree Learning with Continuous Features
by: Kiossou, Harold, et al.
Published: (2026)

Computing Approximate Graph Edit Distance via Optimal Transport
by: Cheng, Qihao, et al.
Published: (2024)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

Optimal Sequential Decision-Making in Geosteering: A Reinforcement Learning Approach
by: Muhammad, Ressi Bonti, et al.
Published: (2023)

\textit{FocaLogic}: Logic-Based Interpretation of Visual Model Decisions
by: Zhao, Chenchen, et al.
Published: (2026)

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers
by: Karimi, Raika, et al.
Published: (2024)

ADBA:Approximation Decision Boundary Approach for Black-Box Adversarial Attacks
by: Wang, Feiyang, et al.
Published: (2024)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
by: Ma, Bin, et al.
Published: (2025)

Logic Distillation: Learning from Code Function by Function for Decision-making Tasks
by: Chen, Dong, et al.
Published: (2024)

A Logical Approach to Criminal Case Investigation
by: Ugai, Takanori, et al.
Published: (2024)

Optimal FALQON for Quantum Approximate Optimization via Layer-wise Parameter Tuning
by: Mancini, Michael, et al.
Published: (2026)

XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions
by: Dovier, Agostino, et al.
Published: (2026)

A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation
by: Yuan, Li, et al.
Published: (2024)

Automatically discovering heuristics in a complex SAT solver with large language models
by: Sun, Yiwen, et al.
Published: (2025)

A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
by: Audemard, Gilles, et al.
Published: (2025)

Solving the Min-Max Multiple Traveling Salesmen Problem via Learning-Based Path Generation and Optimal Splitting
by: Wang, Wen, et al.
Published: (2025)

Universal Smoothness via Bernstein Polynomials: A Constructive Approximation Approach for Activation Functions
by: Zhang, Wentao, et al.
Published: (2026)

Approximating Optimal Labelings for Temporal Connectivity
by: Carnevale, Daniele, et al.
Published: (2025)

UltraLogic: Enhancing LLM Reasoning through Large-Scale Data Synthesis and Bipolar Float Reward
by: Liu, Yile, et al.
Published: (2026)

Toward Scalable Terminal Task Synthesis via Skill Graphs
by: Fan, Zhiyuan, et al.
Published: (2026)

Logics-Parsing-Omni Technical Report
by: An, Xin, et al.
Published: (2026)

Program Synthesis Dialog Agents for Interactive Decision-Making
by: Toles, Matthew, et al.
Published: (2025)

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
by: Guo, Zijian, et al.
Published: (2024)