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 |
|---|---|---|---|---|---|
| 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%) | - |
| 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 | - | - |
| 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 | - | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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 |
| 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%) | - |
| 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 |
| 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%) | - |
| 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 |
| On Synthesis of Metric Interval Temporal Logics Hsi-Ming Ho, Khushraj Madnani, Shankaranarayanan Krishna Published: 2026-09-01Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-01 | cs.LO | ai-safety, cslo, preprint | E10 / R7 (95%) | - |
| Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint) Christoph Benzmueller, Daniel Kirchner Published: 2026-09-07Area: cs.LOCitations: 22 Tags: ai-safety, cslo, preprint | 2026-09-07 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (96%) | 22 |
| Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint) Christoph Benzmueller, Daniel Kirchner Published: 2026-09-07Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-07 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (94%) | - |
| The Semantic Elevation Operator and the Closure of the Undecidable Class under Preservation Jose Pascual Gumbau Mezquita Published: 2026-09-10Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-10 | cs.LO | ai-safety, cslo, preprint | E9 / R7 (91%) | - |
| Warrant Theory Khashayar Irani Published: 2026-09-10Area: cs.LOCitations: 12 Tags: ai-safety, cslo, preprint | 2026-09-10 | cs.LO | ai-safety, cslo, preprint | E11 / R9 (94%) | 12 |
| Positive Topology and Feasible Refinement: Forcing Matrices, Positivity, and Information Giovanni Sambin, Mirco A. Mannucci Published: 2026-09-11Area: cs.LOCitations: 7 Tags: ai-safety, cslo, preprint | 2026-09-11 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (94%) | 7 |
| Supermartingale Certificates for Parametric MDPs Ðorđe Žikelić, Kaushik Mallik Published: 2026-09-11Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-11 | cs.LO | ai-safety, cslo, preprint | E9 / R6 (92%) | - |
| A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migration Alona Seletska, Daryna Tukalo, Oleg Grynets, Oleg Kaskun Published: 2026-09-13Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-13 | cs.LO | ai-safety, cslo, preprint | - | - |
| Eventual and Strong Eventual Notions in Public Announcements Eiji Yamada Published: 2026-09-21Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-09-21 | cs.LO | ai-safety, cslo, preprint | E12 / R7 (95%) | 15 |
| Progression- vs Automata-based Anticipatory Monitoring of LTL over Finite Traces (Extended Version) Marco Montali, Sarah Winkler, Sheila McIlraith, Toryn Klassen Published: 2026-09-26Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-26 | cs.LO | ai-safety, cslo, preprint | - | - |
| Protected Cores Are Not Enough: Certifying AI-Proposed Revisions of Temporal Specifications Ruggero Lanotte Published: 2026-09-27Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-27 | cs.LO | ai-safety, cslo, preprint | - | - |
| Proofs Without Nominals: Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes Christoph Benzmüller Published: 2026-09-28Area: cs.LOCitations: 21 Tags: ai-safety, cslo, preprint | 2026-09-28 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (93%) | 21 |
| Proofs Without Nominals: Gödel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes Christoph Benzmüller Published: 2026-09-28Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-28 | cs.LO | ai-safety, cslo, preprint | - | - |
| What Was Said, Not What Was 'Thought': Type-6 Logic for CoT Verification Adrian de Wynter Published: 2026-09-29Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-09-29 | cs.LO | ai-safety, cslo, preprint | E13 / R9 (94%) | - |