Image de couverture de livre

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lee, Jeyoung, Kang, Hochul
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SYNAPSE: Synergizing an Adapter and Finetuning for High-Fidelity EEG Synthesis from a CLIP-Aligned Encoder
par: Lee, Jeyoung, et autres
Publié: (2025)

Learning Explainable and Better Performing Representations of POMDP Strategies
par: Bork, Alexander, et autres
Publié: (2024)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
par: Pal, Koyena, et autres
Publié: (2026)

Regional, Lattice and Logical Representations of Neural Networks
par: Preto, Sandro, et autres
Publié: (2025)

Circuit Representations of Random Forests with Applications to XAI
par: Ji, Chunxi, et autres
Publié: (2026)

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors
par: Bao, Qiming, et autres
Publié: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
par: Meng, Yue, et autres
Publié: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
par: Gilda, Sankalp, et autres
Publié: (2026)

Can Transformers Reason Logically? A Study in SAT Solving
par: Pan, Leyan, et autres
Publié: (2024)

PiShield: A PyTorch Package for Learning with Requirements
par: Stoian, Mihaela Cătălina, et autres
Publié: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
par: Meng, Yue, et autres
Publié: (2025)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
par: Li, Chunxiao, et autres
Publié: (2024)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
par: Baugh, Kexin Gu, et autres
Publié: (2025)

Learning to Solve and Optimize by Evolving Code
par: Semmelrock, Veronika, et autres
Publié: (2026)

Robust Shielding for Safe Reinforcement Learning
par: Court, Edwin Hamel-De le, et autres
Publié: (2026)

Machine Learning for Quantifier Selection in cvc5
par: Jakubův, Jan, et autres
Publié: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
par: Subramanian, Vignesh, et autres
Publié: (2024)

SATformer: Transformer-Based UNSAT Core Learning
par: Shi, Zhengyuan, et autres
Publié: (2022)

The Geometry of Reasoning: Flowing Logics in Representation Space
par: Zhou, Yufa, et autres
Publié: (2025)

Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024)

Can Transformers Learn to Verify During Backtracking Search?
par: Phua, Yin Jun, et autres
Publié: (2026)

Learning Concepts Definable in First-Order Logic with Counting
par: van Bergerem, Steffen
Publié: (2019)

Inference of Abstraction for a Unified Account of Reasoning and Learning
par: Kido, Hiroyuki
Publié: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
par: Brorholt, Asger Horn, et autres
Publié: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
par: Kumarappan, Adarsh, et autres
Publié: (2024)

Compact Rule-Based Classifier Learning via Gradient Descent
par: Fumanal-Idocin, Javier, et autres
Publié: (2025)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
par: De Angelis, Emanuele, et autres
Publié: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
par: He, Haoyuan, et autres
Publié: (2022)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
par: Soroka, Emi, et autres
Publié: (2024)

Multitask Kernel-based Learning with First-Order Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2023)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
par: Buleshnyi, Mykhailo, et autres
Publié: (2025)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
par: Kasaura, Kazumi, et autres
Publié: (2025)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
par: Joshi, Aniruddha, et autres
Publié: (2025)

Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces
par: Su, DiJia, et autres
Publié: (2024)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
par: Aditya, Dyuman, et autres
Publié: (2025)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
par: Mehimeh, Soumia
Publié: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
par: Olivieri, Pierriccardo, et autres
Publié: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
par: Li, Augustus Haoyang
Publié: (2026)