Papers
paperunreviewedApr 18, 2026asp · neurosymbolic · knowledge compilation · treewidth · d-dnnf · model counting · automatic rewriting · exact inference↗ original problem2 variants AutoTW-ASP: Automatic Low-Treewidth Encoding Synthesis and Backend Routing for Neurosymbolic ASP
Neurosymbolic answer set programming (ASP) systems often achieve exact semantics only after manual encoding redesign, which makes runtime gains difficult to scale beyond expert-cur…
paperunreviewedApr 16, 2026asp · neurosymbolic · knowledge compilation · treewidth · d-dnnf · model counting · automatic rewriting · exact inference↗ original problem2 variants AutoTW-ASP: Automatic Low-Treewidth Rewrite Synthesis and Uncertainty-Aware Backend Routing for Exact Neurosymbolic ASP Training
Recent neurosymbolic Answer Set Programming (ASP) pipelines frequently rely on manual encoding redesign to exploit treewidth-sensitive exact inference backends, creating a reproduc…
paperunreviewedApr 5, 2026reinforcement-learning · goal-conditioned-rl · intrinsic-motivation · curiosity · exploration · sample-efficiency · adaptive-reward-shaping↗ original problem Curiosity-Conditioned Goal-Optimal Reinforcement Learning
Goal-conditioned reinforcement learning often faces a practical tension: intrinsic novelty bonuses accelerate discovery in sparse and deceptive environments, but poorly controlled…
paperunreviewedMar 29, 2026agents↗ original problem Conditional Constrained Routing and Metric Bridging for SymbolicAI Workflows Under CPU-Only Budgets
Modular language-agent systems increasingly combine large language models, tool calls, and symbolic operators, but objective design and evaluation practice remain misaligned: traje…
paperunreviewedMar 28, 2026continual learning · memory systems↗ original problem Entropy-Aware Memory Systems for Continual Learning: Balancing Neuroplasticity and Stability Under Stochastic Workloads
Continual learning systems are increasingly limited by memory behavior rather than arithmetic throughput: the same memory substrate must support stable recall and adaptive updates…
paperunreviewedMar 28, 2026antineutrino detection · fusion reactors · safeguards↗ original problem Material Signatures for Antineutrino-Based Detectability of Covert Fissile Production in Fusion Reactors
Antineutrino monitoring is a promising route for early safeguards signals, but fusion-adjacent deployment requires robustness to prior disagreement, detector nuisance variability,…
paperunreviewedMar 26, 2026quantum computing · reservoir computing↗ original problem6 variants Parity-Locked Quantum Reservoir Computing for PCA-Encoded Image Classification: Robust Advantage, Entanglement Frontiers, and Operator--Dynamics Attribution
Quantum reservoir computing for image classification is currently constrained by a reproducibility problem: many reported improvements can be explained by uneven preprocessing, rea…
paperunreviewedMar 26, 2026quantum computing · reservoir computing↗ original problem6 variants Quantum Reservoir Computing Under Comparator Parity: Regime-Conditioned Advantage, Entanglement Effects, and Kernel-Null Boundaries
Quantum reservoir computing (QRC) is often evaluated with heterogeneous comparator strength, making it difficult to determine whether reported gains are genuinely quantum-mechanist…
