Copertina

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fushimi, Kosei, Serizawa, Kazunobu, Ikemoto, Junya, Hashimoto, Kazumune
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

On Ambiguity: The case of fraction, its meanings and roles
di: Bergstra, Jan A, et al.
Pubblicazione: (2026)

Verified Language Processing with Hybrid Explainability: A Technical Report
di: Fox, Oliver Robert, et al.
Pubblicazione: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
di: Bui, Tuan, et al.
Pubblicazione: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
di: Kapoor, Parv, et al.
Pubblicazione: (2025)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
di: Zhao, Xufeng, et al.
Pubblicazione: (2023)

Introducing Quantification into a Hierarchical Graph Rewriting Language
di: Mishina, Haruto, et al.
Pubblicazione: (2024)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
di: Labruna, Tiziano, et al.
Pubblicazione: (2024)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
di: Tayal, Anuja, et al.
Pubblicazione: (2024)

Relations, Negations, and Numbers: Looking for Logic in Generative Text-to-Image Models
di: Conwell, Colin, et al.
Pubblicazione: (2024)

Large Language Models as Mirrors of Societal Moral Standards
di: Papadopoulou, Evi, et al.
Pubblicazione: (2024)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
di: Garrido-Merchán, Eduardo C., et al.
Pubblicazione: (2025)

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

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
di: Wu, Siyu, et al.
Pubblicazione: (2024)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
di: Yu, Xuanqing, et al.
Pubblicazione: (2024)

Visual Set Program Synthesizer
di: Cheng, Zehua, et al.
Pubblicazione: (2026)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
di: Gu, Qiqi Jason, et al.
Pubblicazione: (2026)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
di: Zhang, Naifeng, et al.
Pubblicazione: (2025)

Strided Difference Bound Matrices
di: Pitchanathan, Arjun, et al.
Pubblicazione: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
di: Shrager, Jeff
Pubblicazione: (2026)

Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
di: Serizawa, Kazunobu, et al.
Pubblicazione: (2025)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
di: Wang, Rui, et al.
Pubblicazione: (2026)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
di: Wang, Yao, et al.
Pubblicazione: (2026)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
di: Gao, Silin, et al.
Pubblicazione: (2025)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
di: Buali, Mahdi, et al.
Pubblicazione: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
di: Aswal, Darpan, et al.
Pubblicazione: (2025)

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
di: Zheng, Hongbo, et al.
Pubblicazione: (2025)

Library Learning Doesn't: The Curious Case of the Single-Use "Library"
di: Berlot-Attwell, Ian, et al.
Pubblicazione: (2024)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
di: Meijer, Mijntje, et al.
Pubblicazione: (2024)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
di: Sinha, Sania, et al.
Pubblicazione: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
di: Shalyt, Michael, et al.
Pubblicazione: (2025)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
di: Chen, Yongchao, et al.
Pubblicazione: (2025)

Cognitive Architectures for Language Agents
di: Sumers, Theodore R., et al.
Pubblicazione: (2023)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
di: Tang, Xuan, et al.
Pubblicazione: (2026)

Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus
di: Lee, Seungpil, et al.
Pubblicazione: (2024)

Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
di: Kauers, Manuel, et al.
Pubblicazione: (2026)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
di: Xu, Weidi, et al.
Pubblicazione: (2023)

Confluence of Conditional Rewriting Modulo
di: Lucas, Salvador
Pubblicazione: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
di: Lucas, Salvador
Pubblicazione: (2025)