Feeds to Scour
SubscribedAll
Scoured 7133 posts in 17.1 ms
RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices  ✅Formal Verification
arxiv.org·3d
Fix Initial Codes and Iteratively Refine Textual Directions Toward Safe Multi-Turn Code Correction  👨‍💻AI Coding
arxiv.org·2d
Benchmarking Testing in Automated Theorem Proving  ✅Formal Verification
arxiv.org·2d
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation  🪄Prompt Engineering
arxiv.org·6d
Mono2Sls: Automated Monolith-to-Serverless Migration via Multi-Stage Pipeline with Static Analysis  📊Self-Hosted Analytics
arxiv.org·2d
Feedback Over Form: Why Execution Feedback Matters More Than Pipeline Topology in 1-3B Code Generation  🪄Prompt Engineering
arxiv.org·3d
Can Code Evaluation Metrics Detect Code Plagiarism?  ✏️Code Editors
arxiv.org·1d
Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions  🪄Prompt Engineering
arxiv.org·2d
R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability  🪄Prompt Engineering
arxiv.org·3d
DryRUN: On the Role of Public Tests in LLM-Driven Code Generation  ✅Formal Verification
arxiv.org·6d
From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation  ⚙️MLOps
arxiv.org·6d
Learning Reasoning World Models for Parallel Code  💭Reasoning Models
arxiv.org·6d
OptiVerse: A Comprehensive Benchmark towards Optimization Problem Solving  📱Edge AI Optimization
arxiv.org·6d
Less Is More: Measuring How LLM Involvement affects Chatbot Accuracy in Static Analysis  ✨LLMs
arxiv.org·6d
BLAST: Benchmarking LLMs with ASP-based Structured Testing  ✨LLMs
arxiv.org·3d
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification  ✅Formal Verification
arxiv.org·3d
HARBOR: Automated Harness Optimization  🛡️AI Safety
arxiv.org·6d
CharTide: Data-Centric Chart-to-Code Generation via Tri-Perspective Tuning and Inquiry-Driven Evolution  ✏️Code Editors
arxiv.org·3d
The Chase in Lean -- Crafting a Formal Library for Existential Rule Research  ✅Formal Verification
arxiv.org·3d
Prefix Parsing is Just Parsing  🌐HTML Parsing
arxiv.org·6d

No more posts from hop1.ng.1357's subscribed feeds.

Scour all 24432 feedsLearn more about Feeds

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