Feeds to Scour
SubscribedAll
Scoured 8408 posts in 15.1 ms
FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?  ✓Formal Verification
arxiv.org·2d·
How Multi-Agent Self-Verification Actually Works (And Why It Changes Everything for Production AI)  ✍️Prompt Engineering
pub.towardsai.net·4d·
VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications  ⚙️Program Synthesis
arxiv.org·13h·
Code Comprehension then Auditing for Unsupervised LLM Evaluation  🧠Context Engineering
arxiv.org·13h·
Designing FSMs Specifications from Requirements with GPT 4.0  ⚙️Program Synthesis
arxiv.org·1d·
UCAgent: An End-to-End Agent for Block-Level Functional Verification  ✓Formal Verification
arxiv.org·3d·
Denotation-based Compositional Compiler Verification  ⚙️Compilers
arxiv.org·2d·
Sal: Multi-modal Verification of Replicated Data Types  ✓Formal Verification
arxiv.org·2d·
Decidable By Construction: Design-Time Verification for Trustworthy AI  🛡️AI Safety
arxiv.org·6d·
WybeCoder: Verified Imperative Code Generation  🤖Large Language Models
arxiv.org·1d·
Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents  ✓Formal Verification
arxiv.org·1d·
SEVerA: Verified Synthesis of Self-Evolving Agents  ⚙️Program Synthesis
arxiv.org·6d·
Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries  ✓Formal Verification
arxiv.org·1d·
Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach  🤖Multi-Agent Systems
arxiv.org·6d·
Noise Inference by Recycling Test Rounds in Verification Protocols  🔧Protocol Fuzzing
arxiv.org·1d·
When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring  ✓Formal Verification
arxiv.org·2d·
ExVerus: Verus Proof Repair via Counterexample Reasoning  ✓Formal Verification
arxiv.org·3d·
StepCache: Step-Level Reuse with Lightweight Verification and Selective Patching for LLM Serving  🤖LLM Inference
arxiv.org·1d·
Red-MIRROR: Agentic LLM-based Autonomous Penetration Testing with Reflective Verification and Knowledge-augmented Interaction  🛡️AI Security
arxiv.org·2d·
Compositional Reasoning for Probabilistic Automata with Uncertainty  ✓Formal Verification
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
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