arxiv.org

https://rss.arxiv.org/rss/cs.SE

01.
Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
02.
CLOSER-Bench: Evaluating Budgeted Cross-Stage Design Closure for Hardware Agents
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
03.
DataFlow-Harness: A Grounded Code-Agent Platform for Constructing Editable LLM Data Pipelines
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
04.
From Discussion to Execution: Replicating Buggy and Correct Data Science Code
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
05.
ReqGenX: An Empirical Study of Atomic Decomposition, Artifact Regeneration, and Reconstruction for Legacy SRS Documents
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
06.
Personalized Assessments from Personal Artifacts
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
07.
When to Use Which? Benchmarking Optimisers for Configurable Systems under Varying Budgets
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
08.
Fantastic Adaptive Taxonomies and How to Use Them
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
09.
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
10.
AEVAL: From Anecdotal to Deterministic Testing for Agentic Skill Workflows
arxiv.org · /rss/cs.SE
▲ 0 · Jul 21
11.
Understanding Agent-Reactive Bugs at the Model-Harness Boundary: An Empirical Study of LLM Agent Issue Reports
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
12.
CHRONO-RESOLUTION: A Dependency Resolution Dataset at Release Points for npm, PyPI, and crates.io Packages
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
13.
Two-Path Status Verification for Outbound Enterprise Messaging Pipelines: Webhook and Scheduled Polling Fallback Architecture
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
14.
Verified LLM-Driven Synthesis for Concept Design
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
15.
GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
16.
READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
17.
In the Driver's Seat: A Multi-Company Study on the Reality of Autonomous Driving System Testing
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
18.
Agentic Synthesis against Counterexample-Supplemented Sketches
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
19.
Trans-Domain Digital Twin: Conceptual Foundations, Architecture, and Research Outlook
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
20.
Making Agent-Mediated Contributions Governable: A Project-Level Governance Manifest for Open-Source AI Collaboration
arxiv.org · /rss/cs.SE
▲ 0 · Jul 20
21.
Structured Feedback Improves Repair in an LLM Agent Loop
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
22.
Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
23.
Quantize with Confidence? An Empirical Study of Quantization for Code Generation
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
24.
Towards Reliable AI-Assisted Analog Design: Template-Constrained LLM Agents for SAR ADC Generation
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
25.
Beyond Object Validation: Relational Conformance in Multi-Artifact Agent Releases
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
26.
Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
27.
ToolAlignBench: Investigating Alignment Conflicts in Tool-Calling Enabled LLMs
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
28.
NexForge: Scaling Executable Agent Tasks via Requirement-First Synthesis
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
29.
The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17
30.
Copy-on-Write Scoring: Application-Specific Agent Evaluations
arxiv.org · /rss/cs.SE
▲ 0 · Jul 17

Recent polls

when	ms	items	status
Jul 21	179	10	ok
Jul 21	193	10	ok
Jul 21	164	10	ok
Jul 21	177	10	ok
Jul 21	173	10	ok