:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chang, Ting-Wu, Chen, Liang-Ting, Mu, Shin-Cheng
Format:	Preprint
Published:	2026
Subjects:	Programming Languages 68N18 (Primary) 68R01, 00A08 (Secondary) F.3.1; D.2.4
Online Access:	https://arxiv.org/abs/2603.27302
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Methods: From Academia to Industrial Practice. A Travel Guide
by: Huisman, Marieke, et al.
Published: (2020)

Learning to Repair Lean Proofs from Compiler Feedback
by: Wang, Evan, et al.
Published: (2026)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)

Design and Implementation of Smart Infrastructures and Connected Vehicles in A Mini-city Platform
by: Vargas, Daniel, et al.
Published: (2024)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Collatz conjecture becomes theorem
by: Mirkowska, Grażyna, et al.
Published: (2023)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Internalizing Extensions in Lattices of Type Theories
by: Chan, Jonathan
Published: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
by: Chan, Jonathan, et al.
Published: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

On the geometric and Riemannian structure of the spaces of group equivariant non-expansive operators
by: Cascarano, Pasquale, et al.
Published: (2021)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
by: Bowen, Jonathan P., et al.
Published: (2026)

LIFY: IoT System for Monitoring Vital Signs of Elderly People
by: Gonzalez, Sara, et al.
Published: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Contract-based Verification of Digital Twins
by: Naeem, Muhammad, et al.
Published: (2025)

QOptCraft: A Python package for the design and study of linear optical quantum systems
by: Aguado, Daniel Gómez, et al.
Published: (2021)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Digital Euler Characteristic Transform
by: Kirveslahti, Henry, et al.
Published: (2024)

Normal forms in Virus Machines
by: Ramírez-de-Arellano, A., et al.
Published: (2024)

Algorithm and abstraction in formal mathematics
by: Macbeth, Heather
Published: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2026)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

Topological Logics with Connectedness over Euclidean Spaces
by: Kontchakov, Roman, et al.
Published: (2011)

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
by: Capucci, Matteo, et al.
Published: (2024)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Computational Complexity of Determining the Assembly Index
by: Masierak, Piotr
Published: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

On the Expressivity of Persistent Homology in Graph Learning
by: Ballester, Rubén, et al.
Published: (2023)

RASP for LSASS: Preventing Mimikatz-Related Attacks
by: Revazova, Anna, et al.
Published: (2023)

ALPC Is In Danger: ALPChecker Detects Spoofing and Blinding
by: Kropova, Anastasiia, et al.
Published: (2023)

Complexity and speed of semi-algebraic multi-persistence
by: Banerjee, Arindam, et al.
Published: (2024)