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)路 49 ms
| 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 | E12 / R10 (89%) | - |
| 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 | - | - |
| 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: 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%) | - |
| 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: - 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 |
| 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 |