Feeds to Scour
SubscribedAll
Scoured 144244 posts in 10.7 ms
Formal Methods 聽馃搻TLA+
formalmethods.dk路5d路Lobsters
Automated Conjecture Resolution with Formal Verification 聽馃МSMT Solvers
arxiv.org路1d
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 聽馃寑Agda
symbolic.software路2d
Automated Security Assertion Generation Using LLMs (U. of Florida) 聽馃搻TLA+
semiengineering.com路5d
Towards Autonomous Protocol Proofs 聽馃搻TLA+
will62794.github.io路6d路Hacker News
Cryptographic Provenance for LLM Inference 聽馃搻TLA+
commitllm.com路5d路Hacker News
An introduction to Turing machines and computation 聽馃МSMT Solvers
max-amb.github.io路5d路Hacker News
PROMISE: Proof Automation as Structural Imitation of Human Reasoning 聽馃搻Lean
arxiv.org路20h
fabio-rovai/tardygrada: A programming language where every agent output is cryptographically verified. 194KB binary. Zero dependencies. Pure C11. Coq-proven BFT. tardy terraform replaces LangChain/CrewAI/AutoGen in ~15 lines. 聽馃搻TLA+
github.com路5d路r/SideProject
Some Subtleties When Parsing 6502 Assembly Language 聽馃敡Linkers
bumbershootsoft.wordpress.com路4d路Hacker News
FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification 聽馃МSMT Solvers
arxiv.org路1d
A Gradual Probabilistic Lambda Calculus 聽位Type Theory
arxiv.org路20h
Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition 聽馃搻E-graphs
arxiv.org路2d
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 聽馃搻TLA+
arxiv.org路20h
A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms 聽馃搻TLA+
arxiv.org路20h
Automatic Textbook Formalization 聽馃МSMT Solvers
arxiv.org路2d
Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL 聽馃Paxos Consensus
arxiv.org路1d
Justified or Just Convincing? Error Verifiability as a Dimension of LLM Quality 聽馃搻TLA+
arxiv.org路1d
HistMSO: A Logic for Reasoning about Consistency Models with MONA 聽馃攧Eventual Consistency
arxiv.org路2d
CB-VER: A Stable Foundation for Modular Control Plane Verification 聽馃攼MVCC
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