Buchumschlag

Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zheng, Ziyang, Li, Kezhi, Shi, Zhengyuan, Xu, Qiang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
von: Zhu, Jiaying, et al.
Veröffentlicht: (2025)

DeepGate3: Towards Scalable Circuit Representation Learning
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2024)

Neural Graph Navigation for Intelligent Subgraph Matching
von: Ying, Yuchen, et al.
Veröffentlicht: (2025)

Uncertainty-aware Efficient Subgraph Isomorphism using Graph Topology
von: Kusari, Arpan, et al.
Veröffentlicht: (2022)

AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models
von: Xue, Chenhao, et al.
Veröffentlicht: (2025)

Improving Subgraph Matching by Combining Algorithms and Graph Neural Networks
von: Guo, Shuyang, et al.
Veröffentlicht: (2025)

Approximate Subgraph Matching with Neural Graph Representations and Reinforcement Learning
von: Li, Kaiyang, et al.
Veröffentlicht: (2026)

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier
von: Zhong, Jianyuan, et al.
Veröffentlicht: (2025)

Non-Cross Diffusion for Semantic Consistency
von: Zheng, Ziyang, et al.
Veröffentlicht: (2023)

ASGEA: Exploiting Logic Rules from Align-Subgraphs for Entity Alignment
von: Luo, Yangyifei, et al.
Veröffentlicht: (2024)

TRACE: Learning to Compute on Circuit Graphs
von: Zheng, Ziyang, et al.
Veröffentlicht: (2025)

DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2025)

SLogic: Subgraph-Informed Logical Rule Learning for Knowledge Graph Completion
von: Le, Trung Hoang, et al.
Veröffentlicht: (2025)

Secure and Energy-Efficient Wireless Agentic AI Networks
von: Song, Yuanyan, et al.
Veröffentlicht: (2026)

CktEvo: Repository-Level RTL Code Benchmark for Design Evolution
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2026)

Beyond Parameters: Exploring Virtual Logic Depth for Scaling Laws
von: Zhu, Ruike, et al.
Veröffentlicht: (2025)

PharmacoMatch: Efficient 3D Pharmacophore Screening via Neural Subgraph Matching
von: Rose, Daniel, et al.
Veröffentlicht: (2024)

BioLLMAgent: A Hybrid Framework with Enhanced Structural Interpretability for Simulating Human Decision-Making in Computational Psychiatry
von: Fei, Zuo, et al.
Veröffentlicht: (2026)

Functional Critics Are Essential for Actor-Critic: From Off-Policy Stability to Efficient Exploration
von: Bai, Qinxun, et al.
Veröffentlicht: (2025)

DIVE: Subgraph Disagreement for Graph Out-of-Distribution Generalization
von: Sun, Xin, et al.
Veröffentlicht: (2024)

Beyond Mode Collapse: Distribution Matching for Diverse Reasoning
von: Li, Xiaozhe, et al.
Veröffentlicht: (2026)

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

MoSE: Unveiling Structural Patterns in Graphs via Mixture of Subgraph Experts
von: Ye, Junda, et al.
Veröffentlicht: (2025)

Making Slow Thinking Faster: Compressing LLM Chain-of-Thought via Step Entropy
von: Li, Zeju, et al.
Veröffentlicht: (2025)

Robust Real-Time Mortality Prediction in the Intensive Care Unit using Temporal Difference Learning
von: Frost, Thomas, et al.
Veröffentlicht: (2024)

Inductive Subgraphs as Shortcuts: Causal Disentanglement for Heterophilic Graph Learning
von: Wang, Xiangmeng, et al.
Veröffentlicht: (2026)

ReasonAudio: A Benchmark for Evaluating Reasoning Beyond Matching in Text-Audio Retrieval
von: Zhang, Honglei, et al.
Veröffentlicht: (2026)

Beyond Patterns: Harnessing Causal Logic for Autonomous Driving Trajectory Prediction
von: Wang, Bonan, et al.
Veröffentlicht: (2025)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
von: Liu, Junteng, et al.
Veröffentlicht: (2025)

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

SSHPool: The Separated Subgraph-based Hierarchical Pooling
von: Xu, Zhuo, et al.
Veröffentlicht: (2024)

Multi-Scale Subgraph Contrastive Learning
von: Liu, Yanbei, et al.
Veröffentlicht: (2024)

LLM-Powered Explanations: Unraveling Recommendations Through Subgraph Reasoning
von: Shi, Guangsi, et al.
Veröffentlicht: (2024)

Surface-based Molecular Design with Multi-modal Flow Matching
von: Wu, Fang, et al.
Veröffentlicht: (2026)

CausalFlip: A Benchmark for LLM Causal Judgment Beyond Semantic Matching
von: Wang, Yuzhe, et al.
Veröffentlicht: (2026)

Beyond One-Size-Fits-All: Adaptive Subgraph Denoising for Zero-Shot Graph Learning with Large Language Models
von: Li, Fengzhi, et al.
Veröffentlicht: (2026)

Zero-Shot Cellular Trajectory Map Matching
von: Shi, Weijie, et al.
Veröffentlicht: (2025)

LsrIF: Enhancing Logic-Structured Instruction Following of Large Language Models
von: Ren, Qingyu, et al.
Veröffentlicht: (2026)

UGID: Unified Graph Isomorphism for Debiasing Large Language Models
von: Ding, Zikang, et al.
Veröffentlicht: (2026)

Computational Blueprints: Generating Isomorphic Mathematics Problems with Large Language Models
von: Kim, Jeong-Hoon, et al.
Veröffentlicht: (2025)