🔀 OCaml Multicore - tiferrei · Scour

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs 🔍CBMC

arxiv.org·1d

becls/swish: Swish Concurrency Engine 📦Unikernel Systems

github.com·6d·Hacker News

Zero-Shot Alignment: Harm Detection via Incongruent Attention Mechanisms 🧠Apple Neural Engine

lesswrong.com·5d

CONDESION-BENCH: Conditional Decision-Making of Large Language Models in Compositional Action Space 📚Automata Learning

arxiv.org·1d

hanshuaikang/nezha: Agent-first vibe coding desktop app for true parallel programming with Claude Code + Codex running in parallel. 🔧DevOps

github.com·4d·Hacker News

Hypergraph Neural Networks Accelerate MUS Enumeration 🧮SMT Solvers

arxiv.org·1d

TaxPraBen: A Scalable Benchmark for Structured Evaluation of LLMs in Chinese Real-World Tax Practice ⚙️Compiler Design

arxiv.org·1d

AlphaLab: Autonomous Multi-Agent Research Across Optimization Domains with Frontier LLMs 🧠Apple Neural Engine

arxiv.org·1d

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 📊Runtime Verification

arxiv.org·6d

Nexus: Same Pretraining Loss, Better Downstream Generalization via Common Minima 📚Automata Learning

arxiv.org·1d

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software 📝Nix Language

arxiv.org·6d

Large Language Models Generate Harmful Content Using a Distinct, Unified Mechanism 🧩Parser Combinators

arxiv.org·1d

Stochastic-Dimension Frozen Sampled Neural Network for High-Dimensional Gross-Pitaevskii Equations on Unbounded Domains 🧠Apple Neural Engine

arxiv.org·1d

A Gradual Probabilistic Lambda Calculus 🧮Lambda Calculus

arxiv.org·6d

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology 🧮SMT Solvers

arxiv.org·4d

Determinacy with Priorities up to Clocks 📐Hoare Logic

arxiv.org·5d

Vision-Guided Iterative Refinement for Frontend Code Generation 🔧ppx

arxiv.org·6d

Dual-Pool Token-Budget Routing for Cost-Efficient and Reliable LLM Serving 🌐Network Protocols

arxiv.org·4d

Riemann-Bench: A Benchmark for Moonshot Mathematics 🧮SMT Solvers

arxiv.org·5d

Full State-Space Visualisation of the 8-Puzzle: Feasibility, Design, and Educational Use 🧮Z3 Solver

arxiv.org·5d

Loading more...