Feeds to Scour
SubscribedAll
Scoured 181750 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
再来する、衝動｜「CHRØNOS」が開催  🏛Wikidata
avyss-magazine.com·2d
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 Practical Introduction to Constraint Programming Using CP-SAT and Python  🧮Constraint Solvers
pganalyze.com·2d·Hacker News
A Systematic Review and Taxonomy of Reinforcement Learning-Model Predictive Control Integration for Linear Systems  🔲Cellular Automata
arxiv.org·1d
Automatic constraint satisfaction problem  🧮Constraint SMT
arxiv.org·3d
Linear Constraints  📈Linear programming
arxiv.org·1d
Streamliners for Answer Set Programming  🧮Prolog Parsing
arxiv.org·3d
LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation  🔗Functional Compilers
arxiv.org·2d
Reasoning Primitives in Hybrid and Non-Hybrid LLMs  🧮Constraint SMT
arxiv.org·1d
On Reasoning-Centric LLM-based Automated Theorem Proving  🧮Theorem Proving
arxiv.org·3d
Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning Chains  📏Linear Logic
arxiv.org·2d
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
Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules  👑Isabelle/HOL
arxiv.org·4d
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

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