Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
Paper • 2605.19038 • Published
papers
-
-
Beyond the Commitment Boundary: Probing Epiphenomenal Chain-of-Thought in Large Reasoning Models
Paper • 2606.13603 • Published -
RogueAI: A Reverse Turing Test for Detecting Licensed AI Deception in Dialogue
Paper • 2606.13310 • Published -
A Sobering Look at Tabular Data Generation via Probabilistic Circuits
Paper • 2603.23016 • Published -
Graph-Conditional Flow Matching for Relational Data Generation
Paper • 2505.15668 • Published -
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
Paper • 2601.15167 • Published -
Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
Paper • 2603.05198 • Published -
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Paper • 2205.05398 • Published -
Empirical Evaluation of Structured Synthetic Data Privacy Metrics: Novel experimental framework
Paper • 2512.16284 • Published -
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
Paper • 2511.04244 • Published -
Advancing Routing-Awareness in Analog ICs Floorplanning
Paper • 2510.15387 • Published -
Beyond single-model XAI: aggregating multi-model explanations for enhanced trustworthiness
Paper • 2510.11164 • Published