Feeds to Scour
SubscribedAll
Scoured 24878 posts in 22.8 ms
GRAPE: Let GRPO Supervise Query Rewriting by Ranking for Retrieval  🧠Query Planners
arxiv.org·1d
Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)  🔍Type Inference
arxiv.org·6d
WiCER: Wiki-memory Compile, Evaluate, Refine Iterative Knowledge Compilation for LLM Wiki Systems  🏗️Compiler Archaeology
arxiv.org·1d
From 0-Order Selection to 2-Order Judgment: Combinatorial Hardening Exposes Compositional Failures in Frontier LLMs  🧮Z3 Solver
arxiv.org·1d
Towards an Inferentialist Account of Information Through Proof-theoretic Semantics  📏Linear Logic
arxiv.org·4d
How Well Do LLMs Perform on the Simplest Long-Chain Reasoning Tasks: An Empirical Study on the Equivalence Class Problem  🧮SMT Solvers
arxiv.org·1d
Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing  🌳Context free grammars
arxiv.org·1d
Set-like operations on propositional logic programs  🔗Combinatory Logic
arxiv.org·6d
Scaling Categorical Flow Maps  🧮Kolmogorov Complexity
arxiv.org·1d
Revisiting Graph-Tokenizing Large Language Models: A Systematic Evaluation of Graph Token Understanding  📝Parsing Grammars
arxiv.org·6d
Self-Consolidating Language Models: Continual Knowledge Incorporation from Context  🤖Grammar Induction
arxiv.org·1d
SAGE: Hierarchical LLM-Based Literary Evaluation through Ontology-Grounded Interpretive Dimensions  📋Document Grammar
arxiv.org·1d
Text-Graph Synergy: A Bidirectional Verification and Completion Framework for RAG  🔄Graph Rewriting
arxiv.org·4d
VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification  🔍Vector Forensics
arxiv.org·1d
A Categorical Semantics for Linear Logical Frameworks  📏Linear Logic
arxiv.org·5d
CA-SQL: Complexity-Aware Inference Time Reasoning for Text-to-SQL via Exploration and Compute Budget Allocation  🔍Type Inference
arxiv.org·1d
Deterministic Monotone Min-Plus Product and Convolution  🧮Kolmogorov Complexity
arxiv.org·1d
Constructing Suffixient Arrays Revisited  🔄Burrows-Wheeler
arxiv.org·5d
Reliable Chain-of-Thought via Prefix Consistency  🌳Trie Structures
arxiv.org·1d
Region4Web: Rethinking Observation Space Granularity for Web Agents  🧭Content Discovery
arxiv.org·1d

No more posts from matmat's subscribed feeds.

Scour all 24963 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