3 papers
cond-mat.mtrl-sci2026
Landau theory and exchange instabilities in MnSi: A case against altermagnetism
K. D. Belashchenko
Thin-film MnSi is one of the most studied altermagnetic candidates thanks to its metallicity, demonstrated anomalous transport properties, and assumed -wave exchange spl…
cs.AI2025
Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas +1
We propose a neurosymbolic approach to the explanation of complex sequences of decisions that combines the strengths of decision procedures and Large Language Models (LLMs). We dem…
cs.LG2024
Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
John Komp, Dananjay Srinivas, Maria Pacheco +1
An (artificial cardiac) pacemaker is an implantable electronic device that sends electrical impulses to the heart to regulate the heartbeat. As the number of pacemaker users contin…