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 |
|---|---|---|---|---|---|
| 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 | E9 / R8 (97%) | - |
| 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%) | - |
| 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%) | - |
| Strategies in Sabotage Games: Temporal and Epistemic Perspectives Katrine B. P. Thoft, Nina Gierasimczuk Published: 2026-04-04Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-04 | cs.LO | ai-safety, cslo, preprint | E5 / R3 (93%) | - |
| Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving Devakh Rashie, Veda Rashi Published: 2026-04-01Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-04-01 | cs.LO | ai-safety, cslo, preprint | E6 / R3 (97%) | - |
| GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra Alvaro Velasquez, Brucek Khailany, Carsten Portner, Cunxi Yu Published: 2026-03-25Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-03-25 | cs.LO | ai-safety, cslo, preprint | E5 / R3 (96%) | - |
| Modal Logic for Distributed Trust Niels Voorneveld, Peeter Laud Published: 2026-03-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-03-23 | cs.LO | ai-safety, cslo, preprint | E33 / R28 (93%) | - |
| Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming David Fernández-Duque, François Laferrière, Igor Stéphan, Martín Diéguez Published: 2026-03-16Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-03-16 | cs.LO | ai-safety, cslo, preprint | E6 / R4 (94%) | - |
| Incremental Neural Network Verification via Learned Conflicts Guy Katz, Haoze Wu, Liam Davis, Raya Elsaleh Published: 2026-03-12Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-03-12 | cs.LO | ai-safety, cslo, preprint | E5 / R3 (96%) | - |
| Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents Cezary Kaliszyk, Chad E. Brown, Josef Urban Published: 2026-03-06Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-03-06 | cs.LO | ai-safety, cslo, preprint | E7 / R3 (94%) | - |
| Twitch: Learning Abstractions for Equational Theorem Proving Guy Axelrod, Moa Johansson, Nicholas Smallbone Published: 2026-03-06Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-03-06 | cs.LO | ai-safety, cslo, preprint | E5 / R4 (96%) | - |
| MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering Ansuman Banerjee, Raj Kumar Gajavelly, Soumik Guha Roy, Sudhakar Surendran Published: 2026-02-26Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-02-26 | cs.LO | ai-safety, cslo, preprint | E8 / R5 (89%) | - |
| Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI Carlos H. L. Cavalcante, Diogo E. Rolim, Emannuel L. de A. Bezerra, Luiz H. T. Viana Published: 2026-02-25Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-02-25 | cs.LO | ai-safety, cslo, preprint | E10 / R6 (89%) | - |
| Representation Theorems for Cumulative Propositional Dependence Logics Arne Meier, Juha Kontinen, Kai Sauerwald Published: 2026-02-24Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-02-24 | cs.LO | ai-safety, cslo, preprint | E8 / R5 (91%) | 15 |