💻 Computer Science - the_floundering_lotus · Scour

Effective MPI: User-defined Datatypes and Cartesian Communicators for Zero-copy All-to-all Communication in Multidimensional Tori 🧮Algorithms

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages ✅Formal Verification

Busy beaver 🧮Algorithms

en.wikipedia.org·4d·r/compsci

Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking ✅Formal Verification

Neural Network Verification using Partial Multi-Neuron Relaxation ✅Formal Verification

Xe-Forge: Multi-Stage LLM-Powered Kernel Optimization for Intel GPU λType Theory

Unifying Semantic Path Order and Weighted Path Order 🎯Constraint Programming

Automating Formal Verification with Agent-Guided Tree Search ✅Formal Verification

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings ✅Formal Verification

A Formal Semantics of C with OpenMP Parallelism ✅Formal Verification

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification ✅Formal Verification

Resource Allocation in HyperX Networks 📊Operations Research

Improved Hardness Results for Nash Social Welfare, Budgeted Allocation and GAP via the Unique Games Conjecture ♟️Game Theory

Two-Level Type Theory and Applications λType Theory

Nonlinear spectral clustering with C++ GraphBLAS 🧮Algorithms

MerLean-Prover: A Recursive Looping Harness for End-to-End Lean 4 Theorem Proving ✅Formal Verification

Efficient Algorithms for Interdicting Facilities in Trees and Bounded Treewidth Graphs 🗂️Data Structures

A proof-theoretic approach to abstract interpretation ✅Formal Verification

A Dynamic Deontic Simplicial Logic for Joint Commitments 🎯Constraint Programming

DateSAT: A Framework for Solving Date and Period Constraints 🎯Constraint Programming

Sign up or log in to see more results

Log in to enable infinite scrolling