Feeds to Scour
SubscribedAll
Scoured 3171 posts in 13.9 ms
Benchmarking Testing in Automated Theorem Proving  ✅Formal Verification
arxiv.org·2d
TDD Governance for Multi-Agent Code Generation via Prompt Engineering  ⚡JIT Exploitation
arxiv.org·21h
Generalization of Zeroth-Order Method for Quotients of Quadratic Functions  🧮Symbolic Execution
arxiv.org·21h
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving  ✅Formal Verification
arxiv.org·2d
R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability  ⚡JIT Exploitation
arxiv.org·3d
COPUS: Co-adaptive Parallelism and Batch Size Selection in Large Language Model Training  ⚡JIT Exploitation
arxiv.org·21h
The Structured Output Benchmark: A Multi-Source Benchmark for Evaluating Structured Output Quality in Large Language Models  🧩Intermediate Representation
arxiv.org·1d
RaMP: Runtime-Aware Megakernel Polymorphism for Mixture-of-Experts  📜Decompilation
arxiv.org·21h
The Chase in Lean -- Crafting a Formal Library for Existential Rule Research  ✅Formal Verification
arxiv.org·3d
Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions  🔀Concolic Execution
arxiv.org·2d
DB-KSVD: Scalable Alternating Optimization for Disentangling High-Dimensional Embedding Spaces  🧩Intermediate Representation
arxiv.org·21h
Defective Task Descriptions in LLM-Based Code Generation: Detection and Analysis  ⚡JIT Exploitation
arxiv.org·2d
OptiVerse: A Comprehensive Benchmark towards Optimization Problem Solving  🖥️Interpreters
arxiv.org·6d
Benchmarking Complex Multimodal Document Processing Pipelines: A Unified Evaluation Framework for Enterprise AI  🌊Dataflow Analysis
arxiv.org·21h
SAFEdit: Does Multi-Agent Decomposition Resolve the Reliability Challenges of Instructed Code Editing?  ⚡JIT Exploitation
arxiv.org·1d
Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience  ⚡JIT Exploitation
arxiv.org·21h
Less Is More: Measuring How LLM Involvement affects Chatbot Accuracy in Static Analysis  ⚡JIT Exploitation
arxiv.org·6d
Hybrid JIT-CUDA Graph Optimization for Low-Latency Large Language Model Inference  🧩Intermediate Representation
arxiv.org·2d
A Matrix-Free Galerkin Multigrid Solver and Failure-Mode Screen for Single-GPU 3D SIMP Linear Systems  🧮Symbolic Execution
arxiv.org·21h
Can Code Evaluation Metrics Detect Code Plagiarism?  ⚡JIT Exploitation
arxiv.org·1d

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