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 95 papers (page 1 of 4)· 50 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness Akash Singirikonda, Cy Xie, Joe Stubbs, Lisa Carbone Published: 2026-10-04Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-10-04 | cs.LO | ai-safety, cslo, preprint | - | - |
| Scenario-Based Compositional Statistical Model Checking for Safety Specifications Abhinav Pomalapally, Arya Raeesi, Beyazit Yalcinkaya, Kevin Kai-Chun Chang Published: 2026-10-04Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-10-04 | cs.LO | ai-safety, cslo, preprint | - | - |
| Response Variability and Stability in Human Reasoning Clemens Bombach, Marco Ragni, Rajmadan Lakshmanan Published: 2026-10-02Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-10-02 | cs.LO | ai-safety, cslo, preprint | E12 / R10 (94%) | 15 |
| Solving VeriContest with a Lean-Backed Rust Verifier Andrei Stefanescu, Cosmin Radoi, Jun Xu, Traian Serbanuta Published: 2026-10-02Area: cs.LOCitations: 5 Tags: ai-safety, cslo, preprint | 2026-10-02 | cs.LO | ai-safety, cslo, preprint | E11 / R9 (92%) | 5 |
| ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents Fei Guan, Junyi Liu, Nan Guan, Tianchi Ren Published: 2026-10-01Area: cs.LOCitations: 61 Tags: ai-safety, cslo, preprint | 2026-10-01 | cs.LO | ai-safety, cslo, preprint | E8 / R6 (94%) | 61 |
| 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%) | - |
| 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 | - | - |
| 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 | - | - |
| 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 | - | - |
| 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 |
| 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 | - | - |
| 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%) | - |
| 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 |
| 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%) | - |
| 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 |
| 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%) | - |
| 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 | - | - |