Emmy, the Algebra System: Classical Mechanics Prologue
clojurecivitas.github.io·1d
λFunctional Programming
Flag this post
Information-Driven Fault Detection and Identification for Multi-Agent Spacecraft Systems: Collaborative On-Orbit Inspection Mission
arxiv.org·7h
🤖Robotics
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·2d
🔓Lock-Free Programming
Flag this post
A reminder to stay in control of your agents
🏗️Cranelift
Flag this post
History-Aware Reasoning for GUI Agents
arxiv.org·7h
📊Datalog
Flag this post
BAPO: Stabilizing Off-Policy Reinforcement Learning for LLMs via Balanced PolicyOptimization with Adaptive Clipping
🎯Reinforcement Learning
Flag this post
computer
🕐Vector Clocks
Flag this post
Ts-event-core: TypeScript functional programming Event Sourcing implementation
📡Event-Driven Architecture
Flag this post
A Quantum Tunneling and Bio-Phototactic Driven Enhanced Dwarf Mongoose Optimizer for UAV Trajectory Planning and Engineering Problem
arxiv.org·7h
🤖Robotics
Flag this post
Stabilizing Reinforcement Learning for Honesty Alignment in Language Models on Deductive Reasoning
arxiv.org·7h
🌳Tree-sitter
Flag this post
Separating QMA from QCMA with a classical oracle
arxiv.org·7h
⚛️Quantum Computing
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.org·2d
🧮SMT Solvers
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
📦Serde
Flag this post
Knowledge Graph Analysis of Legal Understanding and Violations in LLMs
arxiv.org·7h
🍱Nom
Flag this post
Loading...Loading more...