Feeds to Scour
SubscribedAll
Scoured 9556 posts in 956.1 ms
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.to·21h·
Discuss: DEV
Proof Automation
Preview
Report Post
LLM & AI Agent Applications with LangChain and LangGraph — Part 4 — Components of GPT
pub.towardsai.net·1h
🤖Grammar Induction
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔮Proof Search
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·18h
Formal Methods
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·8h·
Discuss: Hacker News
λLambda Formalization
Preview
Report Post
Understanding Automata Theory Through Route Maps
dev.to·53m·
Discuss: DEV
🎯Automata theory
Preview
Report Post
Understanding Vibe Proving | Towards Data Science
towardsdatascience.com·5d
🎯Proof Tactics
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
🏛️Agda
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
💧Liquidhaskell
Preview
Report Post
Validating AI output with consistency checks & formal proofs
johndcook.com·3d·
👑Isabelle
Preview
Report Post
On (and Contra) Chalmers on LLM Interlocutors
benjamincongdon.me·23h
🔲Cellular Automata
Preview
Report Post
Where Did This Sentence Come From? Tracing Provenance in LLM Reasoning Distillation
arxiv.org·3d
Automated Theorem Proving
Preview
Report Post
An Inequality Union Find Inspired by Atomic Asymmetric Completion
philipzucker.com·6d
🤝Unification Algorithms
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
⬆️Lambda Lifting
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·21h·
Discuss: r/compsci
📥Feed Aggregation
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.com·1d
📏Linear Logic
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·10h
💧Liquid Types
Preview
Report Post
<p>**Abstract:** This paper proposes a novel framework for Federated Quantum Key Distribution (FQKD) integrating adaptive trust management mechanisms to enhance...
freederia.com·4h
🔐Quantum Security
Preview
Report Post