Separation Logic

Feeds to Scour
SubscribedAll
Scoured 19 posts in 15.0 ms

From Symbolic to Geometric: Enabling Spatial Reasoning in Large Language Models

 🧠Automated Reasoning  Content type: Academic
arxiv.org·
Less-relevant results

Introducing Soteria: A New Generation of Static Analysis for Rust

 🔬Static Analysis  Content type: Blog

AlloSpatial: Agentic Harness Framework for Spatial Reasoning in Foundation Models

 🔤Language Design  Content type: Academic
arxiv.org·

Skill-3D: Evolving Scene-Aware Skills for Agentic 3D Spatial Reasoning

 🔲Cellular Automata  Content type: Academic
arxiv.org·

Thinking with Imagination: Agentic Visual Spatial Reasoning with World Simulators

 🔲Cellular Automata  Content type: Academic
arxiv.org·

SpatialWorld: Benchmarking Interactive Spatial Reasoning of Multimodal Agents in Real-World Tasks

 🔲Cellular Automata  Content type: Academic
arxiv.org·

3DThinkVLA: Endowing Vision-Language-Action Models with Latent 3D Priors via 3D-Thinking-Guided Co-training

 📚Automata Learning  Content type: Academic
arxiv.org·

SpaceVLN: A Zero-Shot Vision-and-Language Navigation Agent with Online Spatial Cognitive Memory and Reasoning

 🧠Apple Neural Engine  Content type: Academic
arxiv.org·

Textual Supervision Enhances Geospatial Representations in Vision-Language Models

 Helm  Content type: Academic
arxiv.org·

LongSpace: Exploring Long-Horizon Spatial Memory from Perception to Recall in Video

 🔲Cellular Automata  Content type: Academic
arxiv.org·

Task Editing for Generalizable 3D Visuomotor Policy Learning

 🤖Robotics  Content type: Academic
arxiv.org·

PlanBench-V: A Spatial Planning Map Benchmark for Vision-Language Models

 🔁E-graphs  Content type: Academic
arxiv.org·

The Last Visible Pixel: Probing Fine-Scale Perception in Vision-Language Models

 🧠Apple Neural Engine  Content type: Academic
arxiv.org·

Brick-Composer: Using MLLMs for Assembly with Diverse Bricks

 🐫Embedded OCaml  Content type: Academic
arxiv.org·

KPGrasp: Scalable Keypoint Flow Matching for Dexterous Grasp Generation

 🤖Robotics  Content type: Academic
arxiv.org·

RGB-S: Image-Aligned Tactile Saliency for Robust Dexterous Manipulation

 🤖Robotics  Content type: Academic
arxiv.org·

Learning Geometric Representations from Videos for Spatial Intelligent Multimodal Large Language Models

 🔲Cellular Automata  Content type: Academic
arxiv.org·

Reason Twice: Segmentation via Candidate Discovery and Comparative Reasoning

 📚Automata Learning  Content type: Academic
arxiv.org·

Learning Long Range Spatio-Temporal Representations over Continuous Time Dynamic Graphs with State Space Models

 🕸️Graph Theory  Content type: Academic
arxiv.org·

No more posts from tiferrei's subscribed feeds.

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help