Feeds to Scour
SubscribedAll
Scoured 26606 posts in 18.5 ms
Plausible Reasoning and First-Order Plausible Logic  🧠Computational Logic
arxiv.org·3d
CS 7520: Programming Languages and Semantics  💻Programming languages
my.eng.utah.edu·6d
Models of computation  📼Tape Combinators
curiouscoding.nl·6d
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)  λLambda Formalization
dkeenan.com·6d·Hacker News
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)  🧠Separation Logic
arxiv.org·1d
Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning Chains  🔗Constraint Handling
arxiv.org·2d
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics  📏Linear Logic
arxiv.org·1d
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants  🧮Theorem Proving
arxiv.org·5d
Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules  👑Isabelle/HOL
arxiv.org·4d
Logical Computational Linguistics  🧮Prolog Parsing
arxiv.org·4d
On Reasoning-Centric LLM-based Automated Theorem Proving  🧮Theorem Proving
arxiv.org·3d
Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views  📏Linear Logic
arxiv.org·3d
The Logical Expressiveness of Topological Neural Networks  📏Linear Logic
arxiv.org·3d
FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction  🌳Context free grammars
arxiv.org·4d
A Sequent Calculus for General Inductive Definitions  🏗️Constructive Logic
arxiv.org·3d
Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning  📏Linear Logic
arxiv.org·3d
Learning to Reason with Insight for Informal Theorem Proving  🧮Theorem Proving
arxiv.org·5d
Equational and Inductive Reasoning for Maude in Athena  👑Isabelle
arxiv.org·3d
Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs  🎯Performance Proofs
arxiv.org·3d
Probabilistic Programs of Thought  🔲Cellular Automata
arxiv.org·4d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about 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