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 |
|---|---|---|---|---|---|
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| Arrow-Type Impossibility for Genuinely Modal Judgments Hirotaka Ono, Yutaka Nagai Published: 2026-05-22Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-05-22 | cs.LO | ai-safety, cslo, preprint | E12 / R10 (92%) | - |
| An Undecidability Proof for the Plan Existence Problem Antonis Achilleos Published: 2026-04-24Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-24 | cs.LO | ai-safety, cslo, preprint | E7 / R4 (99%) | - |
| BLAST: Benchmarking LLMs with ASP-based Structured Testing Erica Coppolillo, Francesco Calimeri, Francesco Ricca, Giuseppe Manco Published: 2026-04-24Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-24 | cs.LO | ai-safety, cslo, preprint | E7 / R5 (98%) | - |
| A general optimization solver based on OP-to-MaxSAT reduction Han Huang, Yuxin Zhao, Zhifeng Hao Published: 2026-04-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-23 | cs.LO | ai-safety, cslo, preprint | E7 / R4 (97%) | - |
| TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics Takao Inou茅 Published: 2026-04-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-23 | cs.LO | ai-safety, cslo, preprint | E9 / R5 (96%) | - |
| Using ASP(Q) to Handle Inconsistent Prioritized Data Camille Bourgaux, Giuseppe Mazzotta, Meghyn Bienvenu, Robin Jean Published: 2026-04-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-23 | cs.LO | ai-safety, cslo, preprint | E8 / R3 (96%) | - |
| Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI Alessandro G. Buda, Giuseppe Primiero, Leonardo Ceragioli, Melissa Antonelli Published: 2026-04-21Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-21 | cs.LO | ai-safety, cslo, preprint | E5 / R3 (95%) | - |
| Streamliners for Answer Set Programming Alice Tarzariol, Florentina Voboril, Martin Gebser, Stefan Szeider Published: 2026-04-21Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-21 | cs.LO | ai-safety, cslo, preprint | E8 / R4 (98%) | - |
| Symbolic Synthesis for LTLf+ Obligations Christian Hagemeier, Daniel Hausmann, Giuseppe De Giacomo, Nir Piterman Published: 2026-04-20Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-20 | cs.LO | ai-safety, cslo, preprint | E7 / R4 (96%) | - |
| Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems Marcelo Fernandez Published: 2026-04-19Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-19 | cs.LO | ai-safety, cslo, preprint | E10 / R7 (98%) | - |
| Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems Marcelo Fernandez Published: 2026-04-19Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-19 | cs.LO | ai-safety, cslo, preprint | E9 / R8 (97%) | - |
| Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces Simon Foldvik Published: 2026-04-19Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-19 | cs.LO | ai-safety, cslo, preprint | E9 / R8 (95%) | - |
| Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints Andrei Popescu, Dmitriy Traytel, Kevin Kappelmann, Lukas Stevens Published: 2026-04-17Area: cs.LOCitations: 42 Tags: ai-safety, cslo, preprint | 2026-04-17 | cs.LO | ai-safety, cslo, preprint | E10 / R7 (90%) | 42 |
| Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation Mohammad Saqib Hasan, Niranjan Balasubramanian, Omar Chowdhury, Priscilla Kyei Danso Published: 2026-04-08Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-08 | cs.LO | ai-safety, cslo, preprint | E4 / R2 (95%) | - |