Linear Temporal Logic, Model Checking, Temporal Properties, Verification

How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
Order Theory
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·2h·
Discuss: Hacker News
📚Automata Learning
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·1d·
🎯GADT
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.to·5h·
Discuss: DEV
🧩Separation Logic
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·2h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Effectiveness of LLMs in Temporal User Profiling for Recommendation
arxiv.org·10h
📚Automata Learning
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·10h
📦Opam
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🐫OCaml
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·10h
📚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·10h
🔲Cellular Automata
Flag this post
How I Use AI to Build Frontend Apps: My Candid, Messy Process
dev.to·13h·
Discuss: DEV
🌐ActivityPub
Flag this post
Creating AI Agents with Mastra and Typescript
dev.to·2d·
Discuss: DEV
Timed Automata
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·1d
📝Term Rewriting
Flag this post
Single-agent Reinforcement Learning Model for Regional Adaptive Traffic Signal Control
arxiv.org·10h
🔄Finite State Machines
Flag this post
Scalable Multi-Modal Feedback Loop for Constrained Reinforcement Learning in Robotic Grasping
dev.to·1d·
Discuss: DEV
🤖Robotics
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·10h
📦Opam
Flag this post