🔄 Finite State Machines - tiferrei · Scour

Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems ⏰Timed Automata

arxiv.org·6d

Object Oriented Programming in Ada 🔬Static Analysis

entropicthoughts.com·1d·Lobsters, Hacker News

A simple test-time method that beats Claude Mythos on Terminal-Bench ✓Automated Theorem Proving

llm-as-a-verifier.notion.site·4h·Hacker News

A typed functional language that compiles to JavaScript λFunctional Programming

peat-lang.fly.dev·12h·Hacker News

APL: Evaluator for a Subset of Scheme 🐫OCaml

dfns.dyalog.com·2d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

jhud/lisp: Toy Python LISP interpreter based on the original 1960 John McCarthy paper ⚙️Compiler Design

github.com·2d·Hacker News

How HN: We were wrong about AI capability floors (and why smart triggers matter) 🧠Automated Reasoning

zenodo.org·4d·Hacker News

Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL ⏳LTL

arxiv.org·5d

Open-Ended Video Game Glitch Detection with Agentic Reasoning and Temporal Grounding 🎮Verification Games

arxiv.org·4d

Show HN: VigIA – A deterministic FSM in .NET 10 to stop LLM hallucinations 💎Refinement Types

github.com·4d·Hacker News

Networks of Moore Machines 🔢Computability Theory

arxiv.org·20h

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

arxiv.org·1d

Hierarchical Alignment: Enforcing Hierarchical Instruction-Following in LLMs through Logical Consistency ⚙️Compiler Design

arxiv.org·1d

Parameterized Complexity Of Representing Models Of MSO Formulas 🔍CBMC

arxiv.org·1d

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation 🔍Formal Verification

arxiv.org·1d

A Deductive System for Contract Satisfaction Proofs 🧠Automated Reasoning

arxiv.org·1d

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 🔠Type-Level Programming

arxiv.org·5d

Event-Driven Temporal Graph Networks for Asynchronous Multi-Agent Cyber Defense in NetForge_RL 🔲Cellular Automata

arxiv.org·1d

Loading more...