Handbook of Satisfiability (2021)
🧭SMT Solvers
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1h
🧩Theorem Proving
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·12h
🎲Probabilistic Programming
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
📈Complexity Theory
Flag this post
Dive into Systems
🧩Theorem Proving
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
📈Complexity Theory
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
📈Complexity Theory
Flag this post
Solving a problem with mindware
lesswrong.com·2h
🧭SMT Solvers
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·2d
🧩Theorem Proving
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🔐Cryptography
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·1d
🧮Programming Language Theory
Flag this post
A faster problem-solving tool that guarantees feasibility
news.mit.edu·12h
🧭SMT Solvers
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
🧩Theorem Proving
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
🎲Probabilistic Programming
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·1h
🧩Theorem Proving
Flag this post
Loading...Loading more...