Feeds to Scour
SubscribedAll
Scoured 123947 posts in 28.0 ms
Why AI Fails at Cassandra Troubleshooting — and What Happens When It Stops Guessing  💓PHI Accrual
hackernoon.com·5d
Confidence-Aware Alignment Makes Reasoning LLMs More Reliable  🧮SMT Solvers
arxiv.org·1d
IndustryBench: Probing the Industrial Knowledge Boundaries of LLMs  💬Prompt Engineering
arxiv.org·15h
SMT-Based Active Learning of Weighted Automata  🧮SMT Solvers
arxiv.org·1d
Beyond Accuracy: Evaluating Strategy Diversity in LLM Mathematical Reasoning  ⚖️Y-Fast Tries
arxiv.org·15h
EGL-SCA: Structural Credit Assignment for Co-Evolving Instructions and Tools in Graph Reasoning Agents  ⚓Anchors
arxiv.org·15h
CoCoReviewBench: A Completeness- and Correctness-Oriented Benchmark for AI Reviewers  🌳Pratt Parsing
arxiv.org·1d
Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation  ⚛️Quantum Computing
arxiv.org·1d
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code  🔀Crossbeam
arxiv.org·6d
POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference  ✅Model Checking
arxiv.org·6d
Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification  ✅Model Checking
arxiv.org·4d
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning  💬Prompt Engineering
arxiv.org·4d
Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control  💎Refinement Types
arxiv.org·5d
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)  ⚛️Quantum Computing
arxiv.org·4d
Worst-Case Discovery and Runtime Protection for RL-Based Network Controllers  📡QUIC Loss Detection
arxiv.org·5d
When Should a Language Model Trust Itself? Same-Model Self-Verification as a Conditional Confidence Signal  🤖TVM
arxiv.org·6d
Correct Is Not Enough: Training Reasoning Planners with Executor-Grounded Rewards  ⚓Anchors
arxiv.org·6d
RLearner-LLM: Balancing Logical Grounding and Fluency in Large Language Models via Hybrid Direct Preference Optimization  💬Prompt Engineering
arxiv.org·5d
Beyond BLEU: A Semantic Evaluation Method for Code Translation  🌳Pratt Parsing
arxiv.org·4d
HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification  ✅Model Checking
arxiv.org·6d

No more posts from hello's subscribed feeds.

Scour all 24963 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