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)路 62 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| ProofJudge: Tool-Grounded LLM Evaluation of Formal Proof Quality in Mathlib Shane Caldwell Published: 2026-08-20Area: cs.LOCitations: 7 Tags: ai-safety, cslo, preprint, safety-evaluation | 2026-08-20 | cs.LO | ai-safety, cslo, preprint, safety-evaluation | E12 / R8 (92%) | 7 |
| Formal Verification of Romanov's Triplet Logic: A Verified Filter for Sliding-window 3-CNF with Application to Structured Formulas Dmitry V. Alexandrov Published: 2026-08-19Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-08-19 | cs.LO | ai-safety, cslo, preprint | E10 / R8 (95%) | - |
| Formal Verification of Romanov's Triplet Logic: A Verified Filter for Sliding-window 3-CNF with Application to Structured Formulas Dmitry V. Alexandrov Published: 2026-08-19Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-08-19 | cs.LO | ai-safety, cslo, preprint | E10 / R7 (94%) | 15 |
| Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (Extended Version) Anouk Oudshoorn, D枚rthe Arndt, Piotr Gorczyca Published: 2026-08-14Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-08-14 | cs.LO | ai-safety, cslo, preprint | E10 / R10 (93%) | - |
| Alternating-Time Temporal Logic with Mean-Payoff Guarantees Muhammad Najib Published: 2026-08-02Area: cs.LOCitations: 46 Tags: ai-safety, cslo, preprint | 2026-08-02 | cs.LO | ai-safety, cslo, preprint | E10 / R7 (89%) | 46 |
| Alternating-Time Temporal Logic with Mean-Payoff Guarantees Muhammad Najib Published: 2026-08-02Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-08-02 | cs.LO | ai-safety, cslo, preprint | E8 / R6 (91%) | - |
| Pretrain on Small Synthetic Data, Scale Large for Free: Symmetry-Aware Foundation Model for Logic Rule Induction Yin Jun Phua Published: 2026-08-01Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-08-01 | cs.LO | ai-safety, cslo, preprint | E8 / R7 (90%) | - |
| Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version) Jianlin Li, Nick Guo, Peter Ye, Yizhou Zhang Published: 2026-08-01Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-08-01 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (90%) | - |
| Verifiable Checks for Business Rule Consistency Arie Gurfinkel, Joseph Tafese, Milad Hooshyar, Nick Feng Published: 2026-08-01Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-08-01 | cs.LO | ai-safety, cslo, preprint | E7 / R6 (91%) | - |
| Stratified Negation in RDF Rules: A Correct Approach (Extended Version) Alex Ivliev, D枚rthe Arndt, Markus Kr枚tzsch, Nils K眉chenmeister Published: 2026-07-30Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-30 | cs.LO | ai-safety, cslo, preprint | E12 / R11 (89%) | - |
| A Computational Ethical Framework for Financial Digital Phenotyping for Mental Health Irina Tal, Jeff Brozena, Mark Matthews, Michael Mayowa Farayola Published: 2026-07-27Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-27 | cs.LO | ai-safety, cslo, preprint | - | - |
| An Unofficial FastLAS Tutorial: A Programmer's Guide Fabio Aurelio D'Asaro Published: 2026-07-26Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-26 | cs.LO | ai-safety, cslo, preprint | - | - |
| An Unofficial FastLAS Tutorial: A Programmer's Guide Fabio Aurelio D'Asaro Published: 2026-07-26Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-26 | cs.LO | ai-safety, cslo, preprint | E12 / R10 (89%) | - |
| Formalizing Flag Algebras in Lean Gyeongwon Jeong, Hongseok Yang, Jihoon Hyun, Sang-il Oum Published: 2026-07-26Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-26 | cs.LO | ai-safety, cslo, preprint | - | - |
| 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%) | - |
| Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe, Xiaojin Li Published: 2026-07-23Area: cs.LOCitations: 16 Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E8 / R7 (93%) | 16 |
| Towards a Certifying Grounder Alexander Ek, Bart Bogaerts, Carlos Cantero, Daimy Van Caudenberg Published: 2026-07-23Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-07-23 | cs.LO | ai-safety, cslo, preprint | E7 / R7 (92%) | - |
| 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 |
| 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%) | - |
| 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 |