🤝 Protocol Design - DiToast · Scour

Modelling Distributed Applications with Mixed-Choice Stateful Typestates ⚡Concurrency

arxiv.org·1d

NativeTernary: A Self-Delimiting Binary Encoding with Unary Run-Length Hierarchy Markers for Ternary Neural Network Weights, Structured Data, and General Computing Infrastructure ⚙Functional Programming

arxiv.org·3d

Log-based, Business-aware REST API Testing 🔍Static Analysis

arxiv.org·7h

Reaching Agreement in Competitive Microbial Systems ⚖Algorithmic Game Theory

arxiv.org·7h

Communication Requirements for Linearizable Registers ⚡Concurrency

arxiv.org·2d

D\'ej\`aVu: A Minimalistic Mechanism for Distributed Plurality Consensus ⚡Concurrency

arxiv.org·3d

Scheduling Coflows in Multi-Core OCS Networks with Performance Guarantee ⚡Concurrency

arxiv.org·7h

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 🎲Probabilistic Programming

arxiv.org·2d

Asynchronous Quantum Distributed Computing: Causality, Snapshots, and Global Operations 🔐Cryptography

arxiv.org·7h

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🔢Mathematical Logic

arxiv.org·2d

Compositionality of Lyapunov functions via assume-guarantee reasoning 🎯Constraint Programming

arxiv.org·3d

Multi-Agent Orchestration for High-Throughput Materials Screening on a Leadership-Class System 🎲Probabilistic Programming

arxiv.org·7h

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem 🔐Cryptography

arxiv.org·1d

TEMPER: Testing Emotional Perturbation in Quantitative Reasoning 🎲Probabilistic Programming

arxiv.org·7h

PQC-Enhanced QKD Networks: A Layered Approach 🔐Cryptography

arxiv.org·2d

Weight Group-wise Post-Training Quantization for Medical Foundation Model 🎲Probabilistic Programming

arxiv.org·7h

On ANN-enhanced positive invariance for nonlinear flat systems 🎲Probabilistic Programming

arxiv.org·3d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations ⚙Functional Programming

arxiv.org·1d

An Agentic Evaluation Architecture for Historical Bias Detection in Educational Textbooks 🎲Probabilistic Programming

arxiv.org·7h

JTON: A Token-Efficient JSON Superset with Zen Grid Tabular Encoding for Large Language Models 🎲Probabilistic Programming

arxiv.org·2d

Loading more...