Feeds to Scour
SubscribedAll
Scoured 26631 posts in 20.4 ms
The classification of minimally unsatisfiable 2-CNFs -- a fundamental study  🔗Combinatory Logic
arxiv.org·1d
SYMBOLIZER: Symbolic Model-free Task Planning with VLMs  ✨Effect Handlers
arxiv.org·4d
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation  🧩WASM Components
arxiv.org·1d
Open-Architecture End-to-End System for Real-World Autonomous Robot Navigation  ⚡SMT Integration
arxiv.org·2d
Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces  ⏰Temporal Logic
arxiv.org·4d
SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution  🦀Rust Macros
arxiv.org·2d
Visual Reasoning through Tool-supervised Reinforcement Learning  📊Learned Metrics
arxiv.org·2d
Symbolic Synthesis for LTLf+ Obligations  ⚔️Lean Tactics
arxiv.org·4d
Skyline-First Traversal as a Control Mechanism for Multi-Criteria Graph Search  🔍Search Indexing
arxiv.org·2d
Frozen LLMs as Map-Aware Spatio-Temporal Reasoners for Vehicle Trajectory Prediction  🌀Riemannian Computing
arxiv.org·1d
Beyond the Bellman Fixed Point: Geometry and Fast Policy Identification in Value Iteration  👑Coq Tactics
arxiv.org·4d
A Characterization of Integral Input-to-state Stability for Hybrid Systems with Memory  📼Cassette Combinators
arxiv.org·1d
Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems  ✨Algebraic Effects
arxiv.org·4d
Weighted Automata and Regular Expressions for Financial Systems  🧮Algebraic Datatypes
arxiv.org·4d
When does a control system compute? Digital, mechanical and open-loop systems  ✨Algebraic Effects
arxiv.org·5d
Perron-Frobenius Contractive Operator Matching for Data-Driven Reachable Fault Identification and Recovery  🔧Hardware Verification
arxiv.org·5d
Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans  ✅Format Verification
arxiv.org·3d
Crash-free Deductive Verifiers  🛡️Proof-Carrying Archives
arxiv.org·3d
State Forecasting in an Estimation Framework with Surrogate Sensor Modeling  🌊Digital Signal Processing
arxiv.org·3d
Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification  ⚛️Quantum Circuits
arxiv.org·4d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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