Tag: cs.LO

#cs.LO

Latest First Most Viewed Alphabetical

All Conference (28) Law Review (22) Academic (1033) Think Tank (0) News (202) Journal (15) Technology & AI (2) Business & Strategy (0) Finance & Economics (0) Legal & Compliance (0) Innovation & Research (0) International Affairs (0) Cybersecurity (0) Healthcare & Biotech (0)

Academic · 1 min

Representation Theorems for Cumulative Propositional Dependence Logics

arXiv:2602.21360v1 Announce Type: cross Abstract: This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. …

Juha Kontinen, Arne Meier, Kai Sauerwald

5 views Mar 1

Academic · 1 min

Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy

arXiv:2602.22288v1 Announce Type: new Abstract: Sudden cardiac death (SCD) is unpredictable, and its prediction in Chagas cardiomyopathy (CC) remains a significant challenge, especially in patients …

Vin\'icius P. Chagas, Luiz H. T. Viana, Mac M. da S. Carlos, Jo\~ao P. V. Madeiro, Roberto C. Pedrosa, Thiago Alves Rocha, Carlos H. L. Cavalcante

5 views Feb 28

Academic · 1 min

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees

arXiv:2602.16823v1 Announce Type: new Abstract: *Automated circuit discovery* is a central tool in mechanistic interpretability for identifying the internal components of neural networks responsible for …

Itamar Hadad, Guy Katz, Shahaf Bassan

15 views Feb 21

Something extraordinary is coming.

#cs.LO

Representation Theorems for Cumulative Propositional Dependence Logics

Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees

JCG, PC

HSOLLC Co., Ltd.