Dope's picture

1 5 10

Dope

SpectreX

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 27 days ago

The Station: An Open-World Environment for AI-Driven Discovery

upvoted a paper 2 months ago

WirelessMathLM: Teaching Mathematical Reasoning for LLMs in Wireless Communications with Reinforcement Learning

upvoted a paper 2 months ago

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet