Feeds to Scour
SubscribedAll
Scoured 144949 posts in 9.2 ms
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline  🤝Paxos Consensus
symbolic.software·2d
PROMISE: Proof Automation as Structural Imitation of Human Reasoning  📐Lean
arxiv.org·21h
A real-world case of property-based verification  📐TLA+
ochagavia.nl·4d·Lobsters, Hacker News, r/rust
Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code  📐TLA+
eprint.iacr.org·2d
Cryptographic Provenance for LLM Inference  📐TLA+
commitllm.com·5d·Hacker News
Exposing an Agentic Pipeline as an MCP Server  🗳️Raft Consensus
walsenburgtech.com·2d
Automated Security Assertion Generation Using LLMs (U. of Florida)  📐TLA+
semiengineering.com·5d
bkr1297-RIO/rio-receipt-protocol: RIO Receipt Protocol — Cryptographic proof for AI actions. Open standard for tamper-evident receipts, hash-chained ledgers, and independent verification.  📐TLA+
github.com·6d·Hacker News
Why the Smart Model Reviewer Pattern Is Backwards  📐TLA+
cloudpresser.com·3d·Hacker News
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis  📐TLA+
arxiv.org·21h
Verification and execution of the scientific literature via chemputation augmented by large language models  🔍Information Retrieval
nature.com·5d
Writing a CHIP-8 Emulator from Spec  ⚙️JIT Compilation
log.beshr.com·5d·Hacker News
CB-VER: A Stable Foundation for Modular Control Plane Verification  🔐MVCC
arxiv.org·1d
A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms  📐TLA+
arxiv.org·21h
Batch Verification of Modified ECDSA Signatures  🤝Consensus Protocols
eprint.iacr.org·3d
Reasoning about Parameters in the Friedkin--Johnsen Model from Binary Observations  📊Conformal Prediction
arxiv.org·21h
Analyzing Symbolic Properties for DRL Agents in Systems and Networking  📐TLA+
arxiv.org·1d
Don't Act Blindly: Robust GUI Automation via Action-Effect Verification and Self-Correction  🧮SMT Solvers
arxiv.org·21h
Incompleteness of AI Safety Verification via Kolmogorov Complexity  📐TLA+
arxiv.org·1d
Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem  🧮Constraint Solvers
arxiv.org·1d

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