🧮 SMT Solvers

Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

Feeds to Scour
SubscribedAll
Scoured 253446 posts in 3.52 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·16h
🏗️MLIR
Preview
Report Post
Java Mastery: Rescue Princess with Conditional Execution and Student Score Ranking System
dev.to·10h·
Discuss: DEV
⚡Async Programming
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·17h
🌀Naiad
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·9h
⏭️Skip Lists
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
📐TLA+
Preview
Report Post
SMART SLM: Structured Memory and Reasoning Transformer, A Small Language Model for Accurate Document Assistance
arxiv.org·2d
📝Parsing
Preview
Report Post
No, Small Models Are Not the "Budget Option" (English)
mostlylucid.net·2h
🦙Ollama
Preview
Report Post
Building Tetris with more satisfying line clears [Progress update #3]
reddit.com·3h·
Discuss: r/godot
🎮QEMU TCG
Preview
Report Post
Pokémon Team Optimization
nchagnet.pages.dev·2d·
Discuss: Hacker News
⚖️Y-Fast Tries
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
🔬Valgrind Tools
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mézard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.com·1d
📊Information Theory
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
💎Refinement Types
Preview
Report Post
Learning Zig
blog.senko.net·7h
⚙️Zig
Preview
Report Post
Improved Simulation of Stabilizer Circuits
paperium.net·19h·
Discuss: DEV
⚛️Quantum Computing
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming, r/rust
🦀Rust Macros
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔍Datalog Engines
Preview
Report Post
TOON for LLMs: A Comparative Performance Analysis against JSON
gist.github.com·12h·
Discuss: DEV
🦙Ollama
Preview
Report Post
Measuring no CoT math time horizon (single forward pass)
lesswrong.com·1d
🎲Deterministic Simulation
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·6h·
Discuss: Hacker News
🏷️Memory Tagging
Preview
Report Post
Undergraduate education in the age of large language models
thehindubusinessline.com·1d
📝NLP
Preview
Report Post