VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
Paper
•
2511.04662
•
Published
•
35
Cong Yu
Benyucong
AI & ML interests
Machine Learning Systems, Database, Quantum Computing
Organizations
upvoted
5
papers
3 months ago
A Survey of Data Agents: Emerging Paradigm or Overstated Hype?
Paper
•
2510.23587
•
Published
•
67
Every Attention Matters: An Efficient Hybrid Architecture for Long-Context Reasoning
Paper
•
2510.19338
•
Published
•
115
Fine-Tuning Large Language Models on Quantum Optimization Problems for Circuit Generation
Paper
•
2504.11109
•
Published
•
2
ReasoningBank: Scaling Agent Self-Evolving with Reasoning Memory
Paper
•
2509.25140
•
Published
•
14
upvoted
6
papers
4 months ago
Cache-to-Cache: Direct Semantic Communication Between Large Language Models
Paper
•
2510.03215
•
Published
•
98
Less is More: Recursive Reasoning with Tiny Networks
Paper
•
2510.04871
•
Published
•
507
DeepSearch: Overcome the Bottleneck of Reinforcement Learning with Verifiable Rewards via Monte Carlo Tree Search
Paper
•
2509.25454
•
Published
•
142
Quantum Verifiable Rewards for Post-Training Qiskit Code Assistant
Paper
•
2508.20907
•
Published
•
1
OpenRLHF: An Easy-to-use, Scalable and High-performance RLHF Framework
Paper
•
2405.11143
•
Published
•
40
QUASAR: Quantum Assembly Code Generation Using Tool-Augmented LLMs via Agentic RL
Paper
•
2510.00967
•
Published
•
12
upvoted
a
paper
5 months ago
upvoted
a
paper
6 months ago
upvoted
a
collection
9 months ago
upvoted
an
article
10 months ago
Article
What is test-time compute and how to scale it?
•
111
upvoted
an
article
over 1 year ago
Article
Introduction to 3D Gaussian Splatting
•
127
upvoted
a
paper
almost 2 years ago