Copertina

Analytical Lyapunov Function Discovery: An RL-based Generative Approach

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zou, Haohan, Feng, Jie, Zhao, Hao, Shi, Yuanyuan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning Artificial Intelligence Symbolic Computation Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
di: Feng, Jie, et al.
Pubblicazione: (2024)

Hierarchical Neuro-Symbolic Decision Transformer
di: Baheri, Ali, et al.
Pubblicazione: (2025)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
di: Aso-Mollar, Ángel, et al.
Pubblicazione: (2025)

Generalized Holographic Reduced Representations
di: Yeung, Calvin, et al.
Pubblicazione: (2024)

Playstyle and Artificial Intelligence: An Initial Blueprint Through the Lens of Video Games
di: Lin, Chiu-Chou
Pubblicazione: (2025)

Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression
di: Hu, Jiao, et al.
Pubblicazione: (2024)

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

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
di: Cory-Wright, Ryan, et al.
Pubblicazione: (2023)

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

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
di: Bougzime, Oualid, et al.
Pubblicazione: (2025)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
di: Tian, Yuan, et al.
Pubblicazione: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

Enes Causal Discovery
di: Kafantaris, Alexis
Pubblicazione: (2026)

Identifying Causal Effects Under Functional Dependencies
di: Chen, Yizuo, et al.
Pubblicazione: (2024)

SMLP: Symbolic Machine Learning Prover (User Manual)
di: Brauße, Franz, et al.
Pubblicazione: (2024)

SMLP: Symbolic Machine Learning Prover
di: Brauße, Franz, et al.
Pubblicazione: (2024)

Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery
di: Matsubara, Yoshitomo, et al.
Pubblicazione: (2022)

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

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
di: Habibi, Reza, et al.
Pubblicazione: (2026)

Agent-centric learning: from external reward maximization to internal knowledge curation
di: Zhou, Hanqi, et al.
Pubblicazione: (2025)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
di: Deng, Ou, et al.
Pubblicazione: (2025)

Symbolic Foundation Regressor on Complex Networks
di: Liu, Weiting, et al.
Pubblicazione: (2025)

UniSymNet: A Unified Symbolic Network Guided by Transformer
di: Li, Xinxin, et al.
Pubblicazione: (2025)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
di: Jiang, Nan, et al.
Pubblicazione: (2025)

Unsupervised Symbolic Anomaly Detection
di: Hossain, Md Maruf, et al.
Pubblicazione: (2026)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
di: Hu, Chengpeng, et al.
Pubblicazione: (2026)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
di: Ünsal, Mert, et al.
Pubblicazione: (2024)

Neural Concept Binder
di: Stammer, Wolfgang, et al.
Pubblicazione: (2024)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
di: Saegert, Paul, et al.
Pubblicazione: (2026)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
di: Sheneman, Lucas
Pubblicazione: (2026)

Library learning with e-graphs on jazz harmony
di: Ren, Zeng, et al.
Pubblicazione: (2026)

Automated Loss function Search for Class-imbalanced Node Classification
di: Guo, Xinyu, et al.
Pubblicazione: (2024)

Certified geometric robustness -- Super-DeepG
di: Cohen, Noémie, et al.
Pubblicazione: (2026)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
di: Wang, Kevin, et al.
Pubblicazione: (2026)

ViSymRe: Vision Multimodal Symbolic Regression
di: Li, Da, et al.
Pubblicazione: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
di: Camposampiero, Giacomo, et al.
Pubblicazione: (2024)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
di: Labre, Marcelo
Pubblicazione: (2026)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
di: Hersche, Michael, et al.
Pubblicazione: (2024)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
di: Chen, Tianhao, et al.
Pubblicazione: (2024)

Multi-Operational Mathematical Derivations in Latent Space
di: Valentino, Marco, et al.
Pubblicazione: (2023)