Feeds to Scour
SubscribedAll
Scoured 64 posts in 10.1 ms
CPPL: A Circuit Prompt Programming Language  🧮Symbolic Execution
arxiv.org·2d
Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries  🛡️Exploit Mitigations
arxiv.org·6d
StableGrad: Backward Scale Control without Batch Normalization  🧩Intermediate Representation
arxiv.org·1d
Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support  🧮Symbolic Execution
arxiv.org·3d
LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report  ✅Formal Verification
arxiv.org·2d
IsoNet: Spatially-aware audio-visual target speech extraction in complex acoustic environments  🧩Intermediate Representation
arxiv.org·6d
GeoMamba: A Geometry-driven MambaVision Framework and Dataset for Fine-grained Optical-SAR Object Retrieval  🧩Intermediate Representation
arxiv.org·1d
WavFlow: Audio Generation in Waveform Space  🌊Dataflow Analysis
arxiv.org·2d
A Non-Destructive Methodological Framework for Modernizing Legacy Clinical Reporting Systems for AI-Driven Pharmacoinformatics: A SAS Case Study  📟Firmware Analysis
arxiv.org·6d
FishBack: Pullback Fisher Geometry for Optimal Activation Steering in Transformers  🔣Type Systems
arxiv.org·2d
Beyond Execution: Static-Analysis Rewards and Hint-Conditioned Diffusion RL for Code Generation  🌊Dataflow Analysis
arxiv.org·2d
Keyed Nonlinear Transform: Lightweight Privacy-Enhancing Feature Sharing for Medical Image Analysis  🎲Fuzzing
arxiv.org·6d
Fast Tensorization of Neural Networks via Slice-wise Feature Distillation  🧩Intermediate Representation
arxiv.org·1d
Exploiting LLM Agent Supply Chains via Payload-less Skills  🛡️Exploit Mitigations
arxiv.org·6d
ExECG: An Explainable AI Framework for ECG models  🔒CFI
arxiv.org·1d
Language-Switching Triggers Take a Latent Detour Through Language Models  🧩Intermediate Representation
arxiv.org·2d
Registers Matter for Pixel-Space Diffusion Transformers  🧩Intermediate Representation
arxiv.org·3d
FLUIDSPLAT: Reconstructing Physical Fields from Sparse Sensors via Gaussian Primitives  🔣Type Systems
arxiv.org·1d
Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection  ⚡JIT Exploitation
arxiv.org·1d
AutoVecCoder: Teaching LLMs to Generate Explicitly Vectorized Code  ⚡JIT Exploitation
arxiv.org·2d

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