Feeds to Scour
SubscribedAll
Scoured 2642 posts in 9.3 ms
ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning  🧮Symbolic Execution
arxiv.org·1d
Compositionality of Lyapunov functions via assume-guarantee reasoning  🔣Type Systems
arxiv.org·3d
Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover  🔀Concolic Execution
arxiv.org·3h
Program Analysis Guided LLM Agent for Proof-of-Concept Generation  🔀Concolic Execution
arxiv.org·3h
CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations  🧩Intermediate Representation
arxiv.org·1d
Justified or Just Convincing? Error Verifiability as a Dimension of LLM Quality  🔣Type Systems
arxiv.org·3d
SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology  🔀Concolic Execution
arxiv.org·3h
PROMISE: Proof Automation as Structural Imitation of Human Reasoning  🔣Type Systems
arxiv.org·2d
Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer  🔣Type Systems
arxiv.org·3h
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis  🧮Symbolic Execution
arxiv.org·2d
Automatic Textbook Formalization  💾Binary Analysis
arxiv.org·4d
Formalizing building-up constructions of self-dual codes through isotropic lines in Lean  🔣Type Systems
arxiv.org·3h
Understanding: reframing automation and assurance  🔣Type Systems
arxiv.org·2d
On Formally Undecidable Propositions of Nondeterministic Complexity and Related Classes  🔣Type Systems
arxiv.org·3h
ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs  🧮Symbolic Execution
arxiv.org·4d
SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT  🔀Concolic Execution
arxiv.org·2d
Log-based, Business-aware REST API Testing  📟Firmware Analysis
arxiv.org·3h
FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems  🎲Fuzzing
arxiv.org·2d
Towards Identification and Intervention of Safety-Critical Parameters in Large Language Models  🛡️Exploit Mitigations
arxiv.org·3h
Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition  ⚡JIT Exploitation
arxiv.org·4d

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