🧩 Separation Logic - tiferrei · Scour

PROMISE: Proof Automation as Structural Imitation of Human Reasoning ✓Automated Theorem Proving

arxiv.org·6d

Gemini Robotics-ER 1.6: Powering real-world robotics tasks through enhanced embodied reasoning 🤖Robotics

deepmind.google·1d·Hacker News

From personas to intentions: towards a science of motivations for AI models 📚Automata Learning

lesswrong.com·12h

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 🛡️seL4

github.com·5d·Hacker News

How cognitive science can help us design better software 📵Digital Minimalism

cogzest.com·1d·Hacker News

Sir Tony Hoare obituary 📐Hoare Logic

theguardian.com·2d·Hacker News

turlockmike/infer: Pipe-friendly LLM agent harness with a bash tool. Works with any OpenAI-compatible provider. 💻CLI Tools

github.com·6d·Hacker News

AssemLM: Spatial Reasoning Multimodal Large Language Models for Robotic Assembly 🤖Robotics

arxiv.org·1d

A Fast and Loose Clustering of LLM Benchmarks 🧠Apple Neural Engine

lesswrong.com·4d

Mind the Gap Between Spatial Reasoning and Acting! Step-by-Step Evaluation of Agents With Spatial-Gym 🎮Verification Games

arxiv.org·1d

CORA: Conformal Risk-Controlled Agents for Safeguarded Mobile GUI Automation 🔲Cellular Automata

arxiv.org·1d

BRASP: Boolean Range Queries over Encrypted Spatial Data with Access and Search Pattern Privacy 🔒Protocol Verification

arxiv.org·4d

SCoRe: Clean Image Generation from Diffusion Models Trained on Noisy Images 🔲Cellular Automata

arxiv.org·1d

Faithful GRPO: Improving Visual Spatial Reasoning in Multimodal Language Models via Constrained Policy Optimization 📚Automata Learning

arxiv.org·4d

Sensor Placement for Tsunami Early Warning via Large-Scale Bayesian Optimal Experimental Design 👁️Observability

arxiv.org·1d

Enhancing MLLM Spatial Understanding via Active 3D Scene Exploration for Multi-Perspective Reasoning 🧩Parser Combinators

arxiv.org·5d

Optimal Privacy-Aware Co-Design of Quantizer and Controller in Networked Control Systems 🛡️Privacy Engineering

arxiv.org·1d

UAVReason: A Unified, Large-Scale Benchmark for Multimodal Aerial Scene Reasoning and Generation 🧠Apple Neural Engine

arxiv.org·6d

Validated Intent Compilation for Constrained Routing in LEO Mega-Constellations 📡Network Protocol Design

arxiv.org·5d

Loading more...