Cover Image

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kapoor, Parv, Mizuta, Kazuki, Kang, Eunsuk, Leung, Karen
Format:	Preprint
Published:	2025
Subjects:	Robotics Machine Learning Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
by: Kapoor, Parv, et al.
Published: (2026)

Study of Emotion Concept Formation by Integrating Vision, Physiology, and Word Information using Multilayered Multimodal Latent Dirichlet Allocation
by: Tsurumaki, Kazuki, et al.
Published: (2024)

Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks
by: Peng, Yanhong, et al.
Published: (2024)

Pretrained Embeddings as a Behavior Specification Mechanism
by: Kapoor, Parv, et al.
Published: (2025)

Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
by: Kresse, Fabian, et al.
Published: (2025)

Interpreting Contrastive Embeddings in Specific Domains with Fuzzy Rules
by: Fumanal-Idocin, Javier, et al.
Published: (2026)

Constrained Decoding for Safe Robot Navigation Foundation Models
by: Kapoor, Parv, et al.
Published: (2025)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
by: Candussio, Sara, et al.
Published: (2026)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
by: Nagesh, Chandra Kanth, et al.
Published: (2025)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, et al.
Published: (2024)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
by: Gimelfarb, Michael, et al.
Published: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
by: Chen, Michael K.
Published: (2025)

Primality Testing via Circulant Matrix Eigenvalue Structure: A Novel Approach Using Cyclotomic Field Theory
by: Dinu, Marius-Constantin
Published: (2025)

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

Improving Neural-based Classification with Logical Background Knowledge
by: Ledaguenel, Arthur, et al.
Published: (2024)

Terminating Differentiable Tree Experts
by: Thomm, Jonathan, et al.
Published: (2024)

A Fast Interpretable Fuzzy Tree Learner
by: Fumanal-Idocin, Javier, et al.
Published: (2025)

Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python
by: Demir, Caglar, et al.
Published: (2025)

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
by: Jing, Rui-Juan, et al.
Published: (2026)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
by: Fushimi, Kosei, et al.
Published: (2026)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
by: Kera, Hiroshi, et al.
Published: (2025)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
by: Barket, Rashid, et al.
Published: (2025)

Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors
by: Huang, Sikai, et al.
Published: (2025)

Opening the Black-Box: Symbolic Regression with Kolmogorov-Arnold Networks for Energy Applications
by: Panczyk, Nataly R., et al.
Published: (2025)

LMFD: Latent Monotonic Feature Discovery
by: Toussaint, Guus, et al.
Published: (2025)

Computing Linear Regions in Neural Networks with Skip Connections
by: Joyce, Johnny, et al.
Published: (2025)

Shape Constraints in Symbolic Regression using Penalized Least Squares
by: Martinek, Viktor, et al.
Published: (2024)

Post-Training Neural Network Pruning using Graph Curvature
by: Tan, Shuhang, et al.
Published: (2026)

Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents
by: Delfosse, Quentin, et al.
Published: (2024)

The Liouville Generator for Producing Integrable Expressions
by: Barket, Rashid, et al.
Published: (2024)

Deep Neural Network for Constraint Acquisition through Tailored Loss Function
by: Vyhmeister, Eduardo, et al.
Published: (2024)

GENSR: Symbolic Regression Based in Equation Generative Space
by: Li, Qian, et al.
Published: (2026)

Transformers to Predict the Applicability of Symbolic Integration Routines
by: Barket, Rashid, et al.
Published: (2024)

Symbolic Equation Solving via Reinforcement Learning
by: Dabelow, Lennart, et al.
Published: (2024)

Expressive Symbolic Regression for Interpretable Models of Discrete-Time Dynamical Systems
by: Iyer, Adarsh, et al.
Published: (2024)

Unit-Aware Genetic Programming for the Development of Empirical Equations
by: Reuter, Julia, et al.
Published: (2024)

Neural Symbolic Regression of Complex Network Dynamics
by: Qiu, Haiquan, et al.
Published: (2024)

Federated Automatic Differentiation
by: Rush, Keith, et al.
Published: (2023)

A Neurosymbolic Approach to Adaptive Feature Extraction in SLAM
by: Chandio, Yasra, et al.
Published: (2024)