Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔣 Model Theory
first-order logic, Tarski, structures, completeness
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
182091
posts in
23.2
ms
How Language Models Process Out-of-Distribution
Inputs
: A
Two-Pathway
Framework
🔍
Information Retrieval
arxiv.org
·
4d
UFAL-CUNI
at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for
Syllogistic
Reasoning
🧮
SMT Solvers
arxiv.org
·
1d
POSTCONDBENCH
: Benchmarking Correctness and Completeness in Formal
Postcondition
Inference
🧮
SMT Solvers
arxiv.org
·
2d
Weisfeiler
Lehman
Test on Combinatorial Complexes: Generalized Expressive Power of Topological Neural Networks
🔵
Topology
arxiv.org
·
4d
Structure Learning for Directed Trees with
Compositional
Nodes
🤖
Machine Learning
arxiv.org
·
2d
Thermodynamic
completeness
in quantum and classical
Markovian
dynamics
🔣
Category Theory
arxiv.org
·
3d
An ERP Study of Recursive
Possessive
Parsing in
ASD
Children and Its Cognitive Neuro Mechanisms
λ
Type Theory
arxiv.org
·
2d
SoCal: A Language for Memory-Layout
Factorization
of Recursive
Datatypes
🌳
B+ Trees
arxiv.org
·
3d
Graph Neural Networks in the Wilson Loop Representation of
Abelian
Lattice
Gauge
Theories
🕸️
Graph Theory
arxiv.org
·
2d
From
Pixels
to Tokens: A Systematic Study of Latent Action
Supervision
for Vision-Language-Action Models
🤖
Machine Learning
arxiv.org
·
1d
Genealogical
structures under interactive neutral reproduction:
factorial
moment duality via a Frankenstein process
📊
Conformal Prediction
arxiv.org
·
3d
Stable and practical semi-Markov modelling of
intermittently-observed
data
📈
Time Series
arxiv.org
·
1d
ConRAD
:
Conformal
Risk-Aware Neural Databases
📊
Conformal Prediction
arxiv.org
·
2d
H-Probes
:
Extracting
Hierarchical Structures From Latent Representations of Language Models
🎯
Embedding Models
arxiv.org
·
3d
Certified Purity for Cognitive Workflow
Executors
: From Static Analysis to Cryptographic
Attestation
🔒
Transaction Isolation
arxiv.org
·
3d
Molecular
Representations
for Large Language Models
🗜️
Compression Algorithms
arxiv.org
·
3d
Exploring the Geometric and
Dynamical
Properties of Spin Systems and Their
Interplay
with Quantum Entanglement
🔣
Category Theory
arxiv.org
·
4d
Beyond Structure:
Revolutionising
Materials Discovery via AI-Driven Synthesis Protocol-Property
Relationships
🧮
Constraint Solvers
arxiv.org
·
4d
Equation-Free
Digital Twins for
Nonlinear
Structural Dynamics
📡
DSP
arxiv.org
·
3d
GRAVITY:
Architecture-Agnostic
Structured
Anchoring
for Long-Horizon Conversational Memory
🎯
Embedding Models
arxiv.org
·
3d
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help