Feeds to Scour
SubscribedAll
Scoured 3171 posts in 13.4 ms
Learning Reasoning World Models for Parallel Code  🔣Type Systems
arxiv.org·6d
Causal Learning with Neural Assemblies  🧩Intermediate Representation
arxiv.org·23h
Hybrid JIT-CUDA Graph Optimization for Low-Latency Large Language Model Inference  🧩Intermediate Representation
arxiv.org·2d
Co-Learning Port-Hamiltonian Systems and Optimal Energy-Shaping Control  🧩Intermediate Representation
arxiv.org·23h
Fix Initial Codes and Iteratively Refine Textual Directions Toward Safe Multi-Turn Code Correction  ⚡JIT Exploitation
arxiv.org·2d
BLAST: Benchmarking LLMs with ASP-based Structured Testing  🔀Concolic Execution
arxiv.org·3d
STAR-Filter: Efficient Convex Free-Space Approximation via Starshaped Set Filtering in Noisy Environments  🔣Type Systems
arxiv.org·23h
An Empirical Evaluation of Locally Deployed LLMs for Bug Detection in Python Code  ⚡JIT Exploitation
arxiv.org·2d
CurEvo: Curriculum-Guided Self-Evolution for Video Understanding  🧩Intermediate Representation
arxiv.org·23h
HARBOR: Automated Harness Optimization  📜Decompilation
arxiv.org·6d
RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation  ✅Formal Verification
arxiv.org·2d
ACPO: Anchor-Constrained Perceptual Optimization for Diffusion Models with No-Reference Quality Guidance  🧩Intermediate Representation
arxiv.org·23h
Optimization of Model Splitting, Placement, and Chaining for Multi-hop Split Learning and Inference  🧩Intermediate Representation
arxiv.org·1d
A general optimization solver based on OP-to-MaxSAT reduction  ✅Formal Verification
arxiv.org·3d
Circular Phase Representation and Geometry-Aware Optimization for Ptychographic Image Reconstruction  🧩Intermediate Representation
arxiv.org·23h
Hybrid Path-Sums for Hybrid Quantum Programs  🧮Symbolic Execution
arxiv.org·2d
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification  ✅Formal Verification
arxiv.org·3d
Compilation and Execution of an Embeddable YOLO-NAS on the VTA  📟Firmware Analysis
arxiv.org·2d
Rethinking Mutual Coupling in Movable Antenna MIMO Systems: Modeling and Optimization  🔣Type Systems
arxiv.org·23h
Bi-Level Optimization for Contact and Motion Planning in Rope-Assisted Legged Robots  ⛓️ROP Chains
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