🔄 Finite State Machines - matmat · Scour

An Algorithmic Reconstruction of Normalisation by Evaluation ⬆️Lambda Lifting

yangzhixuan.github.io·4d·Lobsters, Hacker News

The Autonomous Stack 🧮Z3 Solver

producthunt.com

·3d

VLAA-GUI: Knowing When to Stop, Recover, and Search, A Modular Framework for GUI Automation ✨Algebraic Effects

Value-oriented programming in Futhark λLambda Encodings

futhark-lang.org·4d

Back to the future | Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications 🌐Protocol Synthesis

egison/sweet-egison: Haskell library for non-deterministic pattern matching 🧮Algebraic Datatypes

github.com·6d·Hacker News

Neuro-Symbolic Manipulation Understanding with Enriched Semantic Event Chains ✨Effect Handlers

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic 📼Cassette Combinators

Complexity Classes Arising from Circuits over Finite Algebraic Structures 🎞️Tape Combinatorics

deadpixi/nondescript: A simple embedded programming language 🔧Binary Parsers

github.com·3d·Lobsters

Absorber LLM: Harnessing Causal Synchronization for Test-Time Training 📼Tape Combinators

Bilinear Input Modulation for Mamba: Koopman Bilinear Forms for Memory Retention and Multiplicative Computation 📼Cassette Combinators

IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory ✨Effect Handlers

Reasoning About Traversability: Language-Guided Off-Road 3D Trajectory Planning ⚡Z3 Optimization

Self-propulsion protocols for swift non-equilibrium state transitions and enhanced cooling in active systems ⚛️Information Physics

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation ⚔️Lean Tactics

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking 🔧Hardware Verification

Reasoning Primitives in Hybrid and Non-Hybrid LLMs 🧮Constraint SMT

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification ⚖️Verification Calculi

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version) 🧠Separation Logic

Log in to enable infinite scrolling