Feeds to Scour
SubscribedAll
Scoured 3171 posts in 13.9 ms
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting  🧮Symbolic Execution
arxiv.org·2d
PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing  🔀Concolic Execution
arxiv.org·19h
Proof Identity and Categorical Models of BV  🔣Type Systems
arxiv.org·1d
ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation  ⚙️Compilers
arxiv.org·19h
Automated LTL Specification Generation from Industrial Aerospace Requirements  🔣Type Systems
arxiv.org·6d
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods  ⚙️Compilers
arxiv.org·19h
Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong  🔀Concolic Execution
arxiv.org·2d
Reelay: Online Temporal Logic Monitoring Framework  🌊Dataflow Analysis
arxiv.org·3d
One Word at a Time: Incremental Completion Decomposition Breaks LLM Safety  🧩Intermediate Representation
arxiv.org·19h
Verification of Neural Networks (Lecture Notes)  🔣Type Systems
arxiv.org·1d
A Test Taxonomy and Continuous Integration Ecosystem for Dynamic Resource Management in HPC  🌊Dataflow Analysis
arxiv.org·19h
Verification of Correlated Equilibria in Concurrent Reachability Games  🌊Dataflow Analysis
arxiv.org·2d
Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs  🛡️Exploit Mitigations
arxiv.org·6d
Benchmarking the Safety of Large Language Models for Robotic Health Attendant Control  🔣Type Systems
arxiv.org·19h
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean  ⚙️Compilers
arxiv.org·2d
A Projection-Dimension Barrier for Direct Aggregation on the Step-Duplicating Primitive Recursor  🧩Intermediate Representation
arxiv.org·2d
Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience  ⚡JIT Exploitation
arxiv.org·19h
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification  🌊Dataflow Analysis
arxiv.org·3d
ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation  🔀Concolic Execution
arxiv.org·2d
Catching the Fly: Practical Challenges in Making Blockchain FlyClient Real  🌊Dataflow Analysis
arxiv.org·19h

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