:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Liang, Zhen, Wu, Taoran, Zhao, Ran, Xue, Bai, Wang, Ji, Yang, Wenjing, Deng, Shaojun, Liu, Wanwei
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning 68Q60, 68T07 D.2.4; I.2.0
Online Access:	https://arxiv.org/abs/2401.12550
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
by: Lagerkvist, Victor, et al.
Published: (2026)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
by: Alpay, Faruk, et al.
Published: (2026)

Modularity in Transformers: Investigating Neuron Separability & Specialization
by: Pochinkov, Nicholas, et al.
Published: (2024)

Verifiable Fine-Tuning for LLMs: Zero-Knowledge Training Proofs Bound to Data Provenance and Policy
by: Akgul, Hasan, et al.
Published: (2025)

Customizing Graph Neural Networks using Path Reweighting
by: Chen, Jianpeng, et al.
Published: (2021)

Causal Direction from Convergence Time: Faster Training in the True Causal Direction
by: Tamim, Abdulrahman
Published: (2026)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Multi-Point Proximity Encoding For Vector-Mode Geospatial Machine Learning
by: Collins, John
Published: (2025)

FedPhD: Federated Pruning with Hierarchical Learning of Diffusion Models
by: Long, Qianyu, et al.
Published: (2025)

QGraphLIME - Explaining Quantum Graph Neural Networks
by: Jena, Haribandhu, et al.
Published: (2025)

Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
by: Sølvsten, Steffan Christ, et al.
Published: (2024)

Advances in Set Function Learning: A Survey of Techniques and Applications
by: Xie, Jiahao, et al.
Published: (2025)

Backpropagation Through Time For Networks With Long-Term Dependencies
by: Bird, George, et al.
Published: (2021)

Approaching I/O-optimality for Approximate Attention
by: Papp, Pál András, et al.
Published: (2026)

Enhancing Ultra-Low-Bit Quantization of Large Language Models Through Saliency-Aware Partial Retraining
by: Cao, Deyu, et al.
Published: (2025)

Abductive explanations of classifiers under constraints: Complexity and properties
by: Cooper, Martin, et al.
Published: (2024)

Efficient Binary Decision Diagram Manipulation in External Memory
by: Sølvsten, Steffan Christ, et al.
Published: (2021)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Symbolic Model Checking in External Memory
by: Sølvsten, Steffan Christ, et al.
Published: (2025)

Sliced-Wasserstein Distribution Alignment Loss Improves the Ultra-Low-Bit Quantization of Large Language Models
by: Cao, Deyu, et al.
Published: (2026)

Think Thrice Before You Speak: Dual knowledge-enhanced Theory-of-Mind Reasoning for Persuasive Agents
by: Ma, Minghui, et al.
Published: (2026)

Prediction-space knowledge markets for communication-efficient federated learning on multimedia tasks
by: Du, Wenzhang
Published: (2025)

M2D-CLAP: Exploring General-purpose Audio-Language Representations Beyond CLAP
by: Niizumi, Daisuke, et al.
Published: (2025)

CogniLoad: A Synthetic Natural Language Reasoning Benchmark With Tunable Length, Intrinsic Difficulty, and Distractor Density
by: Kaiser, Daniel, et al.
Published: (2025)

On the Origin of Algorithmic Progress in AI
by: Gundlach, Hans, et al.
Published: (2025)

Safe Distributed Control of Multi-Robot Systems with Communication Delays
by: Ballotta, Luca, et al.
Published: (2024)

Understanding the Uncertainty of LLM Explanations: A Perspective Based on Reasoning Topology
by: Da, Longchao, et al.
Published: (2025)

Position: Uncertainty Quantification in LLMs is Just Unsupervised Clustering
by: Chen, Tiejin, et al.
Published: (2026)

Graded Transformers
by: Shaska Sr, Tony
Published: (2025)

Combining Mechanical and Agentic Specification Inference for Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Attribution Projection Calculus: A Novel Framework for Causal Inference in Bayesian Networks
by: Amin, M Ruhul
Published: (2025)

Scalable Training of Trustworthy and Energy-Efficient Predictive Graph Foundation Models for Atomistic Materials Modeling: A Case Study with HydraGNN
by: Pasini, Massimiliano Lupo, et al.
Published: (2024)

The Serial Scaling Hypothesis
by: Liu, Yuxi, et al.
Published: (2025)

Neuro-Symbolic Process Anomaly Detection
by: Gaikwad, Devashish, et al.
Published: (2026)

A Landmark-Aware Visual Navigation Dataset
by: Johnson, Faith, et al.
Published: (2024)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)

The Lock-In Phase Hypothesis: Identity Consolidation as a Precursor to AGI
by: Amaral, Marcelo Maciel, et al.
Published: (2025)

On measuring grounding and generalizing grounding problems
by: Quigley, Daniel, et al.
Published: (2025)