Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
cs.SE updates on arXiv.org
rss.arxiv.org
StressWeb
: A Diagnostic Benchmark for Web Agent Robustness under Realistic Interaction
Variability
arxiv.org
·
1w
Certified
Program Synthesis with a Multi-Modal
Verifier
arxiv.org
·
1w
Steerable
Instruction Following Coding Data Synthesis with
Actor-Parametric
Schema Co-Evolution
arxiv.org
·
1w
DIRT
:
Database-Integrated
Random Testing
arxiv.org
·
1w
·
Hacker News
How Do Developers
Interact
with AI? An
Exploratory
Study on Modeling Developer Programming Behavior
arxiv.org
·
1w
Results-Actionability
Gap: Understanding How
Practitioners
Evaluate LLM Products in the Wild
arxiv.org
·
1w
Hidden Technical Debt in Generative (
GenUI
) and
Malleable
User Interfaces
arxiv.org
·
1w
EquivFusion
: Unifying Hardware Equivalence Checking from Algorithms to
Netlists
via MLIR
arxiv.org
·
1w
AgentGuard
: A Multi-Agent Framework for Robust Package Confusion Detection via Hybrid Search and
Metadata-Content
Fusion
arxiv.org
·
1w
AI
Slop
and the Software
Commons
arxiv.org
·
1w
·
Hacker News
How
Robustly
do LLMs Understand Execution
Semantics
?
arxiv.org
·
1w
Scaling
Test-Time
Compute
for Agentic Coding
arxiv.org
·
1w
·
Hacker News
Understanding Tool-Augmented Agents for Lean
Formalization
: A
Factorial
Analysis
arxiv.org
·
1w
Beyond Verifiable Rewards:
Rubric-Based
GRM
for Reinforced Fine-Tuning SWE Agents
arxiv.org
·
1w
Cache-Related
Smells
in
GitLab
CI/CD: Comprehensive Catalog, Automated Detection, and Empirical Evidence
arxiv.org
·
1w
Single-Language Evidence Is
Insufficient
for Automated Logging: A Multilingual Benchmark and
Empirical
Study with LLMs
arxiv.org
·
1w
MLE-Toolbox
: An Open-Source
Toolbox
for Comprehensive EEG and MEG Data Analysis
arxiv.org
·
1w
Towards Better Static Code Analysis Reports: Sentence Transformer-based
Filtering
of
Non-Actionable
Alerts
arxiv.org
·
1w
MASFuzzer
:
Fuzz
Driver Generation and Adaptive Scheduling via Multidimensional API Sequences
arxiv.org
·
1w
Towards an Agentic LLM-based Approach to Requirement
Formalization
from
Unstructured
Specifications
arxiv.org
·
1w
« Page 19
·
Page 21 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help