:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Tzour-Shaday, Saar, Drachsler-Cohen, Dana
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Logic in Computer Science Programming Languages
Acceso en línea:	https://arxiv.org/abs/2508.15454
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
por: Shapira, Yuval, et al.
Publicado: (2024)

Verification of Neural Networks' Global Robustness
por: Kabaha, Anan, et al.
Publicado: (2024)

Towards a Certified Proof Checker for Deep Neural Network Verification
por: Desmartin, Remi, et al.
Publicado: (2023)

Neural Network Verification is a Programming Language Challenge
por: Cordeiro, Lucas C., et al.
Publicado: (2025)

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
por: Kabaha, Anan, et al.
Publicado: (2025)

Floating-Point Neural Networks Are Provably Robust Universal Approximators
por: Hwang, Geonho, et al.
Publicado: (2025)

NLP Verification: Towards a General Methodology for Certifying Robustness
por: Casadio, Marco, et al.
Publicado: (2024)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
por: Viennot, Jules, et al.
Publicado: (2025)

Verification Modulo Tested Library Contracts
por: Uppar, Abhishek, et al.
Publicado: (2026)

Decidable By Construction: Design-Time Verification for Trustworthy AI
por: Haynes, Houston
Publicado: (2026)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
por: Vin, Eric, et al.
Publicado: (2025)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
por: Desmartin, Remi, et al.
Publicado: (2024)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
por: Tsoukalas, George, et al.
Publicado: (2024)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
por: Bharti, Varun, et al.
Publicado: (2025)

Smart Choices and the Selection Monad
por: Abadi, Martin, et al.
Publicado: (2020)

Programmatic Reinforcement Learning: Navigating Gridworlds
por: Shabadi, Guruprerana, et al.
Publicado: (2024)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
por: Ye, Kangfeng, et al.
Publicado: (2023)

Proof Minimization in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)

Towards Regulated Deep Learning
por: García-Camino, Andrés
Publicado: (2019)

Logic Gate Neural Networks are Good for Verification
por: Kresse, Fabian, et al.
Publicado: (2025)

Branch and Bound for Piecewise Linear Neural Network Verification
por: Bunel, Rudy, et al.
Publicado: (2019)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
por: Zhang, Dylan, et al.
Publicado: (2024)

Automated Software Verification of Hyperliveness
por: Beutner, Raven
Publicado: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
por: Mukherji, Kaustuv, et al.
Publicado: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
por: Thakur, Amitayush, et al.
Publicado: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
por: Thakur, Amitayush, et al.
Publicado: (2023)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
por: Li, Guchan, et al.
Publicado: (2026)

Predictable Verification using Intrinsic Definitions
por: Murali, Adithya, et al.
Publicado: (2024)

Automated Theorem Proving for Prolog Verification
por: Mesnard, Fred, et al.
Publicado: (2026)

Structural Temporal Logic for Mechanized Program Verification
por: Ioannidis, Eleftherios, et al.
Publicado: (2024)

FO-Complete Program Verification for Heap Logics
por: Murali, Adithya, et al.
Publicado: (2026)

A Neurosymbolic Approach to Natural Language Formalization and Verification
por: Bayless, Sam, et al.
Publicado: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
por: Le, Quang Loc
Publicado: (2025)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
por: Cheng, Ruotong, et al.
Publicado: (2025)

Automated Verification of Monotonic Data Structure Traversals in C
por: Sotoudeh, Matthew
Publicado: (2025)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
por: Chirica, Ion, et al.
Publicado: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
por: Haak, Lars B. van den, et al.
Publicado: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
por: Rao, Balaji, et al.
Publicado: (2025)

Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages
por: Yang, Andy, et al.
Publicado: (2023)