conftrace_

satisfiability modulo theory

10 papers

Explore in graph

Also known as

SMT

Co-occurring keywords · papers mentioning both

satisfiability modulo theories (4) temporal planning (2) weighted model counting (1) description logic (1) task and motion planning (1) control barrier certificate (1) kolmogorov-arnold network (1) neural network controller (1) music analysis (1) structural distance (1)

Papers

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025 CrossPyEval: Enhancing LLM-based Evaluation of Low-Resource Code via Code Translation ACML 2025 Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025 Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora IJCAI 2025 Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation AAAI 2025 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Softened Symbol Grounding for Neuro-symbolic Systems ICLR 2023 Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019 Robustness Envelopes for Temporal Plans AAAI 2019 Weighted Model Integration with Orthogonal Transformations IJCAI 2017