Linear Temporal Logic, Model Checking, Temporal Properties, Verification

ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🔍CBMC
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
Process Calculi
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·5h
🧩Separation Logic
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·15h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·5h
🧠Automated Reasoning
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·5h
🕸️Graph Theory
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.to·1h·
Discuss: DEV
🧩Separation Logic
Flag this post
Effectiveness of LLMs in Temporal User Profiling for Recommendation
arxiv.org·5h
📚Automata Learning
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·5h
📦Opam
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🐫OCaml
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·5h
📚Automata Learning
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·1d
🔄Finite State Machines
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·5h
🔲Cellular Automata
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.to·8h·
Discuss: DEV
🌐ActivityPub
Flag this post
Creating AI Agents with Mastra and Typescript
dev.to·2d·
Discuss: DEV
Timed Automata
Flag this post