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 61-76 of 76 papers (page 3 of 3)· 17 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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%) | - |