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 |
|---|---|---|---|---|---|
Showing 1-30 of 76 papers (page 1 of 3)· 140 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Causal and Compositional Abstraction Robin Lorenz, Sean Tull Published: 2026-02-18Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-02-18 | cs.LO | ai-safety, cslo, preprint | E10 / R7 (92%) | - |
| MerLean: An Agentic Framework for Autoformalization in Quantum Computation Jinzheng Li, Yidi Qi, Yuanjie Ren Published: 2026-02-18Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-02-18 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (92%) | 15 |
| Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions Zoran Majkic Published: 2026-02-18Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-02-18 | cs.LO | ai-safety, cslo, preprint | E7 / R6 (90%) | - |
| TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions Takao Inoué Published: 2026-02-19Area: cs.LOCitations: 11 Tags: ai-safety, cslo, preprint | 2026-02-19 | cs.LO | ai-safety, cslo, preprint | E9 / R8 (92%) | 11 |
| When Agda met Vampire Artjoms Šinkarovs, Michael Rawson Published: 2026-02-21Area: cs.LOCitations: 44 Tags: ai-safety, cslo, preprint | 2026-02-21 | cs.LO | ai-safety, cslo, preprint | E6 / R6 (92%) | 44 |
| 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 |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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 |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |