Feeds to Scour
SubscribedAll
Scoured 26508 posts in 21.5 ms
Common Foundations for Recursive Shape Languages 聽馃敜Type Theory
arxiv.org路1d
Trump tests his luck with the religious right amid feud with pope and AI Jesus posts 聽馃摗RSS
theguardian.com路6d
A Practical Introduction to Constraint Programming Using CP-SAT and Python 聽馃МConstraint Solvers
pganalyze.com路2d路Hacker News
YAML policy -> Abstract Syntax Tree -> Reverse Polish Notation... How we implemented a Runtime Rules Engine in eBPF 聽馃挧Liquid Types
cybereason-public.github.io路6d路Hacker News, r/programming
A Systematic Review and Taxonomy of Reinforcement Learning-Model Predictive Control Integration for Linear Systems 聽馃敳Cellular Automata
arxiv.org路1d
Linear Constraints 聽馃搱Linear programming
arxiv.org路1d
Automatic constraint satisfaction problem 聽馃МConstraint SMT
arxiv.org路3d
LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation 聽馃敆Functional Compilers
arxiv.org路2d
Streamliners for Answer Set Programming 聽馃МProlog Parsing
arxiv.org路3d
Reasoning Primitives in Hybrid and Non-Hybrid LLMs 聽馃МConstraint SMT
arxiv.org路1d
Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning Chains 聽馃搹Linear Logic
arxiv.org路2d
Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules 聽馃憫Isabelle/HOL
arxiv.org路4d
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics 聽馃搹Linear Logic
arxiv.org路1d
Automatic Ontology Construction Using LLMs as an External Layer of Memory, Verification, and Planning for Hybrid Intelligent Systems 聽鈿欙笍TLA+
arxiv.org路2d
A taxonomy for controlling (in)consistency 聽馃Paxos Consensus
arxiv.org路3d
On Reasoning-Centric LLM-based Automated Theorem Proving 聽馃МTheorem Proving
arxiv.org路3d
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants 聽馃МTheorem Proving
arxiv.org路5d
Logical Computational Linguistics 聽馃МProlog Parsing
arxiv.org路4d
Equational and Inductive Reasoning for Maude in Athena 聽馃憫Isabelle
arxiv.org路3d
Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications 聽鈿欙笍TLA+
arxiv.org路4d

No more posts from matmat's subscribed feeds.

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