Instant research discovery
Search and browse arXiv CS/AI/ML papers, enriched with AI-generated insights.
Generate novel research ideas grounded in real arXiv papers with Brainstorm.
PreviousNext
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
Search and browse arXiv CS/AI/ML papers, enriched with AI-generated insights.
Generate novel research ideas grounded in real arXiv papers with Brainstorm.
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
Search and browse arXiv CS/AI/ML papers, enriched with AI-generated insights.
Generate novel research ideas grounded in real arXiv papers with Brainstorm.
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Provably Auditable and Safe LLM Agents from Human-Authored Ontologies Aaron Sterling Published: 2026-06-03Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-03 | cs.LO | ai-safety, cslo, preprint | E11 / R8 (94%) | - |
| Obligation-Producing Actions Iluju Kiringa, Kalonji Kalala, Tet Yeap Published: 2026-06-12Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-12 | cs.LO | ai-safety, cslo, preprint | E9 / R8 (90%) | - |
| Provenance-Enhanced Statements in Knowledge Graphs Fabio Vitali, Valentina Pasqual Published: 2026-06-13Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-13 | cs.LO | ai-safety, cslo, preprint | E9 / R6 (97%) | - |
| The algebra of Krom logic programs Christian Anti膰 Published: 2026-06-14Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-14 | cs.LO | ai-safety, cslo, preprint | E9 / R4 (97%) | - |
| The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics for ELbot Anni-Yasmin Turhan, Anselm Haak, Patrick Koopmann, Yasir Mahmood Published: 2026-06-17Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-17 | cs.LO | ai-safety, cslo, preprint | E8 / R4 (98%) | - |
| An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Anand Balakrishnan, Jyotirmoy V. Deshmukh, Lars Lindemann, Sheryl Paul Published: 2026-06-25Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-25 | cs.LO | ai-safety, cslo, preprint | E18 / R14 (90%) | - |
| Belief Contraction in Dynamic Epistemic Logic Gaia Belardinelli, Snow Zhang Published: 2026-06-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-30 | cs.LO | ai-safety, cslo, preprint | E6 / R3 (97%) | - |
| Better Understanding, Understanding Better Yu Wei Published: 2026-06-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-30 | cs.LO | ai-safety, cslo, preprint | E6 / R3 (95%) | - |
| Beyond But-for Test: Counterfactual Explanation in Abstract Argumentation via Actual Causality (Extended Version) Beishui Liao, Muyun Shao, Siyi Liu Published: 2026-06-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-30 | cs.LO | ai-safety, cslo, preprint | E9 / R4 (94%) | - |
| Inquisitive Action Logic Ivano Ciardelli Published: 2026-06-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-30 | cs.LO | ai-safety, cslo, preprint | E6 / R4 (99%) | - |
| Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts Cormac Kikkert, Rajeev Gor茅 Published: 2026-06-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-30 | cs.LO | ai-safety, cslo, preprint | E6 / R4 (98%) | - |
| Resolving Asynchronous Distributed Knowledge Clara Lerouvillois, Hans van Ditmarsch, Philippe Balbiani Published: 2026-06-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-30 | cs.LO | ai-safety, cslo, preprint | E9 / R3 (95%) | - |
| The Logic of Data Access and Data Exchanges Alexandru Baltag, Sonja Smets Published: 2026-06-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-06-30 | cs.LO | ai-safety, cslo, preprint | E6 / R3 (96%) | - |
| LRAT-Catcher: Importing SAT Solver Certificates into Lean4 by Reflection Stefan Szeider Published: 2026-07-01Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-01 | cs.LO | ai-safety, cslo, preprint | E9 / R5 (97%) | - |
| ADVENT: LLM-Driven Automatic Predicate Invention for ILP Chan Hsu, Chan-Tung Ku, Pei-Cing Huang, Tingting Yu Published: 2026-07-02Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-02 | cs.LO | ai-safety, cslo, preprint | E8 / R5 (97%) | - |
| CSB: A Counting and Sampling tool for Bit-vectors Arijit Shaw, Kuldeep S. Meel Published: 2026-07-05Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-05 | cs.LO | ai-safety, cslo, preprint | E10 / R13 (94%) | - |
| Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience Ruben Martins Published: 2026-07-16Area: cs.LOCitations: 18 Tags: ai-safety, cslo, preprint | 2026-07-16 | cs.LO | ai-safety, cslo, preprint | E13 / R10 (93%) | 18 |
| A cubical formalisation of topos causal models: intervention, sheaf gluing, and the intuitionistic do-calculus Karen Sargsyan Published: 2026-07-17Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-17 | cs.LO | ai-safety, cslo, preprint | E17 / R15 (89%) | - |
| Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness Denise M. Case Published: 2026-07-22Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-22 | cs.LO | ai-safety, cslo, preprint | E9 / R6 (90%) | - |
| The Dynamic Turn in Paraconsistency Hans van Ditmarsch, Rafael Ongaratto Published: 2026-07-22Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-07-22 | cs.LO | ai-safety, cslo, preprint | E11 / R10 (95%) | 15 |
| Animation, Verification and Visualisation of Prolog Transition Systems with ProB Fabian Vu, Jan Gruteser, Katharina Engels, Michael Leuschel Published: 2026-07-23Area: cs.LOCitations: 45 Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (91%) | 45 |
| Anti-Goal Reasoning: Rethinking the Theory of Goal Reasoning in Non-Axiomatic Logic Bowen Xu Published: 2026-07-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E7 / R7 (89%) | - |
| Case study: proving sqrt(2) irrational with LPTP and an LLM 脡tienne Payet, Fred Mesnard, Wim Vanhoof Published: 2026-07-23Area: cs.LOCitations: 20 Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E12 / R8 (91%) | 20 |
| Case study: solving P-99 with LPTP and an LLM 脡tienne Payet, Fred Mesnard, Thierry Marianne, Wim Vanhoof Published: 2026-07-23Area: cs.LOCitations: 1 Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E14 / R11 (94%) | 1 |
| Chess\_db: A framework for working with large chess game datasets Jan Wielemaker, Nicos Angelopoulos Published: 2026-07-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E11 / R8 (92%) | - |
| Declarative Problem Solving in UAM Strategic Deconfliction Angelo Oddi, Francesca Alessandra Lisi, Gioacchino Sterlicchio, Riccardo Rasconi Published: 2026-07-23Area: cs.LOCitations: 29 Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E7 / R6 (94%) | 29 |
| Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Jan Gruteser, Katharina Engels, Michael Leuschel Published: 2026-07-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E8 / R6 (90%) | - |
| Explainability Framework for Policy-Aware Autonomous Agents Daniela Inclezan, Heather Merhout Published: 2026-07-23Area: cs.LOCitations: 23 Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E9 / R7 (94%) | 23 |
| Explainable Belief Harmonization under Dynamic Epistemic Partitions Adam Kostka, Jaros艂aw A. Chudziak Published: 2026-07-23Area: cs.LOCitations: 12 Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E9 / R8 (94%) | 12 |
| Hybrid MKNF with Classical Negation in the Rule Component Arun Raveendran Nair Sheela, Christophe Rey, Florence De Grancey Published: 2026-07-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E9 / R6 (90%) | - |