Feeds to Scour
SubscribedAll
Scoured 3171 posts in 14.1 ms
What Is the Cost of Energy Monitoring? An Empirical Study on the Overhead of RAPL-Based Tools  🔒CFI
arxiv.org·23h
BLAST: Benchmarking LLMs with ASP-based Structured Testing  🔀Concolic Execution
arxiv.org·3d
RAG-Enhanced Kernel-Based Heuristic Synthesis (RKHS): A Structured Methodology Using Large Language Models for Hardware Design  ⚙️Compilers
arxiv.org·23h
Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon  🌊Dataflow Analysis
arxiv.org·3d·Hacker News
ProcFunc: Function-Oriented Abstractions for Procedural 3D Generation in Python  🧮Symbolic Execution
arxiv.org·23h
LLM-Guided Issue Generation from Uncovered Code Segments  ⚡JIT Exploitation
arxiv.org·23h
Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers  ⚡JIT Exploitation
arxiv.org·1d
Reasoning Primitives in Hybrid and Non-Hybrid LLMs  🧩Intermediate Representation
arxiv.org·6d
VulStyle: A Multi-Modal Pre-Training for Code Stylometry-Augmented Vulnerability Detection  💾Binary Analysis
arxiv.org·23h
OS-SPEAR: A Toolkit for the Safety, Performance,Efficiency, and Robustness Analysis of OS Agents  🛡️Exploit Mitigations
arxiv.org·2d
En Route to a Standard QMA1 vs. QCMA Oracle Separation  🧩Intermediate Representation
arxiv.org·23h
VLAA-GUI: Knowing When to Stop, Recover, and Search, A Modular Framework for GUI Automation  ⛓️ROP Chains
arxiv.org·6d
Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification  ✅Formal Verification
arxiv.org·23h
Less Is More: Engineering Challenges of On-Device Small Language Model Integration in a Mobile Application  🧩Intermediate Representation
arxiv.org·2d
ClawGym: A Scalable Framework for Building Effective Claw Agents  ⚡JIT Exploitation
arxiv.org·23h
Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study  ⚙️Compilers
arxiv.org·2d
DryRUN: On the Role of Public Tests in LLM-Driven Code Generation  ⚡JIT Exploitation
arxiv.org·6d
eDySec: A Deep Learning-based Explainable Dynamic Analysis Framework for Detecting Malicious Packages in PyPI Ecosystem  💾Binary Analysis
arxiv.org·23h
The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive  ✅Formal Verification
arxiv.org·1d
TDD Governance for Multi-Agent Code Generation via Prompt Engineering  ⚡JIT Exploitation
arxiv.org·23h

No more posts from amy.throwaway.lovely's subscribed feeds.

Scour all 24432 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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