Buchumschlag

OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hu, Hao, Cai, Shaowei
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
von: Chen, Zhihan, et al.
Veröffentlicht: (2024)

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
von: Ye, Furong, et al.
Veröffentlicht: (2024)

Local Search for Integer Quadratic Programming
von: He, Xiang, et al.
Veröffentlicht: (2024)

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

Optimal Decision Tree Policies for Markov Decision Processes
von: Vos, Daniël, et al.
Veröffentlicht: (2023)

Approximation-Free Differentiable Oblique Decision Trees
von: Panda, Subrat Prasad, et al.
Veröffentlicht: (2026)

Decision Potential Surface: A Theoretical and Practical Approximation of Large Language Model Decision Boundary
von: Liang, Zi, et al.
Veröffentlicht: (2025)

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

Systematic Parameter Decision in Approximate Model Counting
von: Lei, Jinping, et al.
Veröffentlicht: (2025)

MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization
von: Faez, Faezeh, et al.
Veröffentlicht: (2024)

Strategist: Self-improvement of LLM Decision Making via Bi-Level Tree Search
von: Light, Jonathan, et al.
Veröffentlicht: (2024)

A Generic Complete Anytime Beam Search for Optimal Decision Tree
von: Kiossou, Harold Silvère, et al.
Veröffentlicht: (2025)

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

Anytime Optimal Decision Tree Learning with Continuous Features
von: Kiossou, Harold, et al.
Veröffentlicht: (2026)

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

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
von: Sun, Yiwen, et al.
Veröffentlicht: (2024)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
von: Wu, Yanrui, et al.
Veröffentlicht: (2026)

Computing Approximate Graph Edit Distance via Optimal Transport
von: Cheng, Qihao, et al.
Veröffentlicht: (2024)

Optimal Sequential Decision-Making in Geosteering: A Reinforcement Learning Approach
von: Muhammad, Ressi Bonti, et al.
Veröffentlicht: (2023)

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

AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
von: Li, Jinyuan, et al.
Veröffentlicht: (2025)

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers
von: Karimi, Raika, et al.
Veröffentlicht: (2024)

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

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
von: Ma, Bin, et al.
Veröffentlicht: (2025)

\textit{FocaLogic}: Logic-Based Interpretation of Visual Model Decisions
von: Zhao, Chenchen, et al.
Veröffentlicht: (2026)

A Logical Approach to Criminal Case Investigation
von: Ugai, Takanori, et al.
Veröffentlicht: (2024)

ADBA:Approximation Decision Boundary Approach for Black-Box Adversarial Attacks
von: Wang, Feiyang, et al.
Veröffentlicht: (2024)

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

Optimal FALQON for Quantum Approximate Optimization via Layer-wise Parameter Tuning
von: Mancini, Michael, et al.
Veröffentlicht: (2026)

Universal Smoothness via Bernstein Polynomials: A Constructive Approximation Approach for Activation Functions
von: Zhang, Wentao, et al.
Veröffentlicht: (2026)

A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
von: Audemard, Gilles, et al.
Veröffentlicht: (2025)

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

A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation
von: Yuan, Li, et al.
Veröffentlicht: (2024)

Toward Scalable Terminal Task Synthesis via Skill Graphs
von: Fan, Zhiyuan, et al.
Veröffentlicht: (2026)

Program Synthesis Dialog Agents for Interactive Decision-Making
von: Toles, Matthew, et al.
Veröffentlicht: (2025)

Approximating Optimal Labelings for Temporal Connectivity
von: Carnevale, Daniele, et al.
Veröffentlicht: (2025)

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

Logics-Parsing-Omni Technical Report
von: An, Xin, et al.
Veröffentlicht: (2026)

Architectural Design Decisions in AI Agent Harnesses
von: Wei, Hu
Veröffentlicht: (2026)

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
von: Guo, Zijian, et al.
Veröffentlicht: (2024)