Buchumschlag

Towards a Measure of Algorithm Similarity

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sohail, Shairoz, Ali, Taher
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence Computation and Language Information Theory Software Engineering 68Qxx, 03Dxx, 90C29 I.2.6; F.4.1; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
von: Jana, Prithwish, et al.
Veröffentlicht: (2026)

Provable Fairness Repair for Deep Neural Networks
von: Ma, Jianan, et al.
Veröffentlicht: (2026)

Towards Comprehensive Sampling of SMT Solutions
von: Lyu, Shuangyu, et al.
Veröffentlicht: (2025)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
von: Huang, Xuanxiang, et al.
Veröffentlicht: (2025)

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
von: Parris, William M.
Veröffentlicht: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
von: Guo, Jinyao, et al.
Veröffentlicht: (2025)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
von: Weiß, Matthias, et al.
Veröffentlicht: (2026)

A Formal Analysis of Algorithms for Matroids and Greedoids
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2025)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
von: Su, Jie, et al.
Veröffentlicht: (2025)

Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
von: Untila, Octavian
Veröffentlicht: (2026)

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
von: Linhares, Alexandre
Veröffentlicht: (2026)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
von: Leonhart, Emma
Veröffentlicht: (2026)

Detecting and Preventing Latent Risk Accumulation in High-Performance Software Systems
von: Arafat, Jahidul, et al.
Veröffentlicht: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
von: Lucas, Tom, et al.
Veröffentlicht: (2026)

Locality, Consistency, and the Tractability Frontier
von: Simas, Tristan
Veröffentlicht: (2026)

Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
von: Wang, Tong, et al.
Veröffentlicht: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
von: Jahan, Sigma, et al.
Veröffentlicht: (2026)

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
von: Schellhorn, Daniel Romero, et al.
Veröffentlicht: (2026)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

Uniform Computability of PAC Learning
von: Brattka, Vasco, et al.
Veröffentlicht: (2026)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
von: Alpay, Faruk
Veröffentlicht: (2025)

Varieties of Distributed Knowledge
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Biological arrow of time: Emergence of tangled information hierarchies and self-modelling dynamics
von: Prokopenko, Mikhail, et al.
Veröffentlicht: (2024)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)